Re: *.mid vs *.midi

[Valentin Villenave]

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.

Cheers,
Valentin