Bug #14667 | texi docs are not part of the source | ||
---|---|---|---|
Submitted: | 5 Nov 2005 4:31 | Modified: | 30 Mar 2006 1:59 |
Reporter: | Jens Elkner | Email Updates: | |
Status: | Not a Bug | Impact on me: | |
Category: | MySQL Server: Packaging | Severity: | S2 (Serious) |
Version: | 5.0.15 | OS: | Linux (Linux) |
Assigned to: | Kent Boortz | CPU Architecture: | Any |
[5 Nov 2005 4:31]
Jens Elkner
[29 Mar 2006 21:22]
Kent Boortz
It was decided only to provide documentation inside the source package in "info" format, and provide other formats separately, downloadable from http://dev.mysql.com/doc/ Unfortunately not in texi format.
[30 Mar 2006 1:59]
Jens Elkner
Hmmm, too bad - since all provided formats (PDF, HTML) are not very usable. What I actually did, was to convert the texi stuff into docbook and than generated much better formatted and smaller HTML pages than the original. Many user find it much better and very useful, since it has an index section aka "SQL Command, Type, and Function Index" as well, so that they can navigate and find, what they are looking for very fast... So is it possible to provide another format as well. I guess, some source exists, which is not HTML ;-)