Follow-up Comment #2, bug #27433 (project gnustep):
Yes; in Fedora, we currently rename the files during our build process. The
files upstream would have to be renamed.
I missed the @setfilename -- you're right. filesystem.texi and machines.texi
would have to be updated.
Interestingly, faq.texi and userfaq.texi do not have such @setfilename
directives -- and, in case of the other two, not updating @setfilename does
not seem to affect the name of the .info file generated (that's why I did not
even notice them).
Thanks,
--
Michel
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?27433>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-gnustep mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-gnustep
