URL: <http://savannah.gnu.org/bugs/?42641>
Summary: Use makeinfo --html to generate HTML manuals from .texi documents Project: GNUstep Submitted by: yavor Submitted on: Sun 29 Jun 2014 07:08:06 PM EEST Category: Makefiles Severity: 3 - Normal Item Group: Change Request Status: None Privacy: Public Assigned to: None Open/Closed: Open Discussion Lock: Any _______________________________________________________ Details: I propose to switch to makeinfo for producing HTML variants of the Texinfo manuals. Rationale: * texi2html is no longer developed * the main texi2html author has been working on texinfo since quite some time and the general advice is to migrate to texinfo (see [1]) * modern texinfo implements (almost) all the texi2html features * texi2html is likely to be removed from some distros in the not-so-distant future (see [2]) * makeinfo is more likely to be installed on a system * one dependency less is generally a good thing Cons: As makeinfo is more strict than texi2html, some documents which previously built with texi2html will fail with makeinfo --html, just like they are currently failing when building the .info file(s). Since gnustep-make by design ignores such errors, they are not fatal. But I don't think that documents with invalid Texinfo syntax are a valid reason to stick with texi2html; they should be fixed instead. [1] http://www.nongnu.org/texi2html/ [2] http://lists.debian.org/debian-devel/2013/05/msg01516.html Please find attached the proposed patch implementing the switch. texi2html as a possibility is retained and can be used if required by the user. I have tested all four combinations (makeinfo/texi2html/split/monolithic) for the common targets all/clean/install/uninstall. _______________________________________________________ File Attachments: ------------------------------------------------------- Date: Sun 29 Jun 2014 07:08:06 PM EEST Name: makeinfo-html.patch Size: 6kB By: yavor <http://savannah.gnu.org/bugs/download.php?file_id=31632> _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?42641> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-gnustep mailing list Bug-gnustep@gnu.org https://lists.gnu.org/mailman/listinfo/bug-gnustep