Re: *.mid vs *.midi

[Karl Hammar]

Hans:
> On 17 May 2008, at 16:48, Han-Wen Nienhuys wrote:
> 
> > I think the proper solution is to softcode this, so
> > we can have a -dmidi-extension=mid, ...
...
> On UNIX system, one might have a startup file $HOME/.lilypond  
> defining such options. Then the startup arguments (and .ly files)  
> should have precedence over this file, I think.

A startup file would be about the same as an initial \include.
I would be nice to be able to do like

  lilypond a.ly .. o.ly z.ly

i.e. treat a.ly .. o.ly as if they where included in z.ly, without 
having to say so in z.ly.

Regards,
/Karl