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

"Petra Seibert (via tex-d-l Mailing List)" wrote:
>   detox is a utility designed to clean up filenames.

Danke. Für mich ist das Mittel der Wahl die Umbenennung im Totalcommander
mit zwei selbst geschriebenen und im Laufe der Zeit gewachsenen
Regexstrings für Suchen und Ersetzen. Mir ist das lieber so, aber natürlich
habe ich noch etliche Lücken, die in einem Tool wie Deinem lange enthalten
sind.


-- 
/¯\   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