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: NoneRelease: 
Priority: 5 - NormalSeverity: 1 - Wish
Item Group: NonePrivacy: Public
Open/Closed: OpenAssigned 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 click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.


    Please enter the title of George Orwell's famous dystopian book (it's a date):



    No Changes Have Been Made to This Item

    Back to the top

    Powered by Savane 3.1-cleanup1