[Trennmuster] patgen selbst kompilieren

[Herbert Voss]

Am 22.12.18 um 19:34 schrieb Keno Wehr:
> Am 22.12.18 um 13:52 schrieb Werner LEMBERG:
>>
>> OK, wenn's so eine Option gibt, dann ist es doch kein Bug :-)  Ich
>> hab's im Wiki aktualisiert; bitte kontrolliere das.
>>
>>
> 
> Danke, mit dieser Änderung läuft das Skript bei mir problemlos durch.

sudo apt-get install xorg-dev

hätte wohl auch geholfen, falls du mal mit metafont spielen willst.

Herbert