[bug #45917] makeinfo --html to support GNOME DevHelp

[Gavin D. Smith]

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/