Right, though I think it would be more logical to produce only
    foo.expanded. 

Agreed, but it's too late to change the default (in "makeinfo
mode") now.


Reply via email to