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

From	Yavor Doganov <INVALID.NOREPLY@gnu.org>
Newsgroups	gnu.gnustep.bug
Subject	[bug #42641] Use makeinfo --html to generate HTML manuals from .texi documents
Date	2017-11-22 11:44 -0500
Message-ID	<mailman.4318.1511369072.27995.bug-gnustep@gnu.org> (permalink)
References	<20140629-190806.sv47215.66505@savannah.gnu.org>

Show all headers | View raw

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:

  <http://savannah.gnu.org/bugs/?42641>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/

Back to gnu.gnustep.bug | Previous | Next | Find similar

Thread

[bug #42641] Use makeinfo --html to generate HTML manuals from .texi documents Yavor Doganov <INVALID.NOREPLY@gnu.org> - 2017-11-22 11:44 -0500

csiph-web