[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Changer l'extension des fichiers midi produits
|
From: |
John Mandereau |
|
Subject: |
Re: Changer l'extension des fichiers midi produits |
|
Date: |
Thu, 01 May 2008 20:40:19 +0200 |
Le mercredi 30 avril 2008 à 09:02 +0200, Daniel Cartron a écrit :
> - j'ai les ps partout
> j'ai compris que c'est normal, il faudrait rajouter des rm là où il faut.
Et l'option -ddelete-intermediate-files alors ?
Essaye 'lilypond -dhelp' comme suggéré par 'lilypond --help' pour
découvrir une tripotée d'options qui pourraient te servir.
Bon bricolage
John