This is the mail archive of the gdb-prs@sources.redhat.com mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

web/1351: Swich doco generation to "makeinfo --html" (or what ever it is)


>Number:         1351
>Category:       web
>Synopsis:       Swich doco generation to "makeinfo --html" (or what ever it is)
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          change-request
>Submitter-Id:   net
>Arrival-Date:   Mon Aug 25 15:18:00 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     ac131313@redhat.com
>Release:        2003-08-25
>Organization:
>Environment:

>Description:
GDB currently uses texi2html to generate it's web pages.  Probably time to consolidate process and switch to texinfo's HTML mechanism.

It has an advantage -> the .html files are named according to nodes and hence will make better long term bookmarks.
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]