URL:
<http://savannah.gnu.org/bugs/?45917>
Summary: makeinfo --html to support GNOME DevHelp
Project: texinfo - GNU documentation system
Submitted by: gavin
Submitted on: Thu 10 Sep 2015 10:25:36 AM GMT
Category: None
Release:
Priority: 5 - Normal
Severity: 1 - Wish
Item Group: None
Privacy: Public
Open/Closed: Open
Assigned to: None
Discussion Lock: Any
Status: None
_______________________________________________________
Details:
Original thread here:
https://lists.gnu.org/archive/html/bug-texinfo/2015-03/msg00041.html
"It would be tremendously useful to have makeinfo --html to generate .devhelp
file. That way GNU developer documentation (e.g. gcc/automake/autoconf) could
be searched and viewed using GNOME Devhelp and thus have one more way to be
viewed."
Partial implementation:
https://lists.gnu.org/archive/html/bug-texinfo/2015-04/msg00026.html
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?45917>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
