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

"Reinhard Kotucha" (via tex-d-l Mailing List) <[email protected]> Wed, 14 May 2025 01:38:38 +0200

Newsgroups	gmane.comp.tex.german
Message-ID	<[email protected]>

On 2025-05-13 at 22:27:21 +0200, "Petra Seibert" (via tex-d-l Mailing List) wrote:

 > Vielleicht wissen das noch nicht alle, es gibt ein sehr nuetzliches
 > Tool fuer diese Umbenennung:

Ich kann davon nur abraten.

 >   * Removal or replacement of UTF-8 encoded Unicode characters;

Alle modernen Betriebssysteme unterstützen UTF-8.  Wie blöd muß man
sein um aus einem Dateinamen "日本語.tex" alle UTF-8-Zeichen zu
entfernen?  Sollen dann alle Dateien ".tex" heißen? 

Alles Gute,
  Reinhard

-- 
------------------------------------------------------------------
Reinhard Kotucha                            Phone: +49-511-3373112
Marschnerstr. 25
D-30167 Hannover                    mailto:[email protected]
------------------------------------------------------------------

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