Re: Export midi en terminal

[Valentin Villenave]

Le 1 novembre 2008 22:21, www.bigcab <address@hidden> a écrit :

> Bon j'ai réussi à générer un fichier Midi mais le probleme c'est que
> j'ai en sortie soit un fichier png,pdf,ps et tout, soit un fichier midi
>
> y'a t'il une façon pour avoir en sortie un fichier png et midi en même tant
> en une seule commande

Oui. Il faut ajouter un bloc \layout { } en plus de  \midi { }

Cordialement,
Valentin