Re: makefile aus \begin{filecontents} ... \end{filecontents} erzeugen
"Ralf Steinle" (via tex-d-l Mailing List) <[email protected]> Tue, 13 May 2025 22:44:26 +0200
| Newsgroups | gmane.comp.tex.german |
|---|---|
| Message-ID | <[email protected]> |
Am Tue, 13 May 2025 22:27:21 +0200 schrieb "Petra Seibert" (via tex-d-l Mailing List) <[email protected]>: > Vielleicht wissen das noch nicht alle, es gibt ein sehr nuetzliches > Tood fuer diese Umbenennung: > > detox is a utility designed to clean up filenames. It replaces > difficult to work with characters, such as spaces, with standard [...] > Petra Ich fürchte, dass das manchem hier in der tex-d nicht weiterhilft. Weil mit Windows98 bekommt man das wohl nicht kompiliert :) Ralf -- 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