Re: makefile aus \begin{filecontents} ... \end{filecontents} erzeugen

"Markus Kohm (via tex-d-l Mailing List)" wrote:
> Knuth hat auch entschieden, dass Dateinamen an einem Leerzeichen enden.

Hat er das? Das war m.W. systemübegreifend der allgemeine und sinnvolle
Standard, bevor Windows ihn kaputtgemacht hat. Ich muß so gut wie alle
Dateien, die von anderen bekomme, als erstes umbenennen. (Ja, es gibt
Workarounds für Batches, die sind mir aber viel zu aufwendig und
kompliziert. Einmal korrekt benennen ist sehr viel schmerzloser.)


-- 
/¯\   No  |    Dipl.-Ing. F. Axel Berger    Tel: +49/ 221/ 7771 8067
\ /  HTML |    Roald-Amundsen-Straße 2a     Fax: +49/ 221/ 7771 8069
 X    in  |    D-50829 Köln-Ossendorf      http://berger-odenthal.de
/ \  Mail | -- No unannounced, large, binary attachments, please! --

-- 
FAQ: http://texfragen.de/
Durchsuchbares Archiv: https://www.listserv.dfn.de/sympa/arc/tex-d-l 
Unsubscribe/Verwaltung: https://www.listserv.dfn.de/sympa/info/tex-d-l