[bug #42641] Use makeinfo --html to generate HTML manuals from .texi documents

Update of bug #42641 (project gnustep): Status:None => Fixed Open/Closed:Open => Closed ___ Reply to this item at:

[bug #42641] Use makeinfo --html to generate HTML manuals from .texi documents

Follow-up Comment #1, bug #42641 (project gnustep): This bug can be closed as a stripped version of the proposed patch has been applied (commit:d69117e). ___ Reply to this item at:

[bug #42641] Use makeinfo --html to generate HTML manuals from .texi documents

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