bugtexinfo - GNU documentation system - Bugs: bug #45917, makeinfo --html to support GNOME...


You are not allowed to post comments on this tracker with your current authentication level.

bug #45917: makeinfo --html to support GNOME DevHelp

Submitted by:  Gavin D. Smith <gavin>
Submitted on:  Thu 10 Sep 2015 10:25:36 AM UTC  
Category:  None Release: 
Priority:  5 - Normal Severity:  1 - Wish
Item Group:  None Privacy:  Public
Open/Closed:  Open Assigned to:  None
Status:  None

Thu 10 Sep 2015 10:25:36 AM UTC, original submission:

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

Gavin D. Smith <gavin>
Project Administrator


No files currently attached


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by gavin (Submitted the item)

    Do you think this task is very important?
    If so, you can add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.




    No changes have been made to this item

    Back to the top

    Powered by Savane 3.4