this is a first draft of a Python script to create a HTML version of the gnuplot manual. This has several advantages over the existing (not working) method using latex2tml:
Choosing between single-page and multi-page documentation. For the current status please see http://www.bersch.net/gnuplot-doc/gnuplot-single.html and http://www.bersch.net/gnuplot-doc/gnuplot.html
Includes images, e.g. http://www.bersch.net/gnuplot-doc/gnuplot-single.html#plotting-styles-circles
Self-explaining page and link names (see link above).
More flexibility for the TOC generation.
docs/doc2doc.c is used only to merge the terminal documentation with the main
gnuplot.doc file. The actual script is
docs/doc2html.py and works both with Python2 and Python3. The documentation is generated in the directory
docs/htmldocs. The patch contains some changes in the files
The script works fine, but some little bugs are still present.
At the moment I'm primarily interested in your opinions about the design, what could be improved, and some suggestions for better handling of the huge TOC.