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.
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.