Re: *.mid vs *.midi

[Karl Hammar]

Valentin:
> 2008/5/17 Han-Wen Nienhuys <address@hidden>:
> 
> > we can have a -dmidi-extension=mid, and change the default for the
> > Windows binary.
> 
> Another feature that would be greatly appreciated (once again, this is
> an idea from the French list) would be the ability to define separate
> output paths for midi and .ps/pdf files.
> 
> Currently, the -o option does not allow to output midi files in a
> separate directory.

As a first step, wouldn't it suffice to have a wrapper:

 lilypond $1
 mv $1.midi dir

and if you are using makefiles, lilypond don't have to solve that 
problem, you could just as easily add an mv-line in the makefile.

Well, the same goes for the midi vs. mid problem I guess.

Regards,
/Karl