[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Gavin D. Smith
Subject: [bug #45917] makeinfo --html to support GNOME DevHelp
Date: Sun, 27 Dec 2020 08:06:19 -0500 (EST)
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Ubuntu Chromium/80.0.3987.87 Chrome/80.0.3987.87 Safari/537.36

Update of bug #45917 (project texinfo):

             Open/Closed:                    Open => Closed                 


Follow-up Comment #1:

Added to project TODO file.

Closing issue as bug tracker is not used.


Reply to this item at:


  Message sent via Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]