Adrian Aichner <adrian(a)xemacs.org> writes:
I hope this patch is acceptable upstream as well.
Well, I had a reason to change the @setfilename thing... Hm.
But I see that you are using "makeinfo -o" anyway, so is it now not
necessary anymore to patch the *.texi file?
kai
--
A large number of young women don't trust men with beards. (BFBS Radio)