|
| From: | Yavor Doganov |
| Subject: | [bug #42641] Use makeinfo --html to generate HTML manuals from .texi documents |
| Date: | Wed, 22 Nov 2017 11:44:24 -0500 (EST) |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/62.0.3202.89 Safari/537.36 |
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/
| [Prev in Thread] | Current Thread | [Next in Thread] |