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

Martin Wilhelm Leidig <[email protected]> Wed, 14 May 2025 11:57:29 +0200
Newsgroups gmane.comp.tex.german
Message-ID <[email protected]>
Am 2025-05-13 um 22.18 schrieb Axel Berger (via tex-d-l Mailing List) <[email protected]>:
> Das war m.W. systemübegreifend der allgemeine und sinnvolle Standard

Nicht auf modernen Systemen.  Mac OS gab von Anfang an weder auf willkürliche Filenamenseinschränkungen noch auf diesen 8.3-Krampf samt „Extension bestimmt Dateityp“ irgendwas.  Monster, die Bootplatte meines ersten Mac hiess „Mac Drive“ (mit Leerzeichen)!  ;-)

Dennoch gehört all das nicht hierher, das eigentliche Problem ist ja auch gelöst.  Bitte Thread so langsam beenden.  Danke!


… mit freundlichem Gruß:

-Moss-
-- 
Martin Wilhelm Leidig	Dante e.V. #1580	Threema D3USVXE4
Mastodon @[email protected] (TeXnicalities) @[email protected] (otherwise)

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