lilypond-user-fr
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Changer l'extension des fichiers midi produits

From: Gilles THIBAULT
Subject: Re: Changer l'extension des fichiers midi produits
Date: Thu, 1 May 2008 09:15:50 +0200 


Ça sortira deux fois des .ps.

Il y a une option (non documentée je crois) que quelqu'un a donné un jour :
#(ly:set-option 'delete-intermediate-files #t)
qui supprime tous les fichiers de sorties sauf les .pdf et les .mid
Gilles
reply via email to
[Prev in Thread] Current Thread [Next in Thread]