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

On 14/05/25 11:22, Juergen Fenn (via tex-d-l Mailing List) wrote:
> benannt werden und dass sie ausschließlich ASCII-Zeichen enthalten und
> keine Blanks. Wenn detox das leisten würde, wäre es doch für die
> Massenverarbeitung auf der Kommandozeile eine Lösung.

Genau dafuer ist das "detox" gemacht.

Fuer weitere Umbenennungen kann auch das rename perl script verwendet 
werden (gibt's zB in Debian automatisch), siehe dazu auch
https://www.volkerschatz.com/unix/uware/rename.html

VG Petra

-- 
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