Convert documentation to Sphinx
Finalize the changes made by Guillaume : (branch sphinx
). There is still a significant work to do for bnf grammars
I have experimented a bit with converting Why3's documentation from LaTeX to reStructuredText (similar to Markdown).
Before:
- PDF: http://why3.lri.fr/manual.pdf
- HTML: http://why3.lri.fr/doc/api.html
- source: https://gitlab.inria.fr/why3/why3/raw/master/doc/api.tex
After:
- PDF: https://www.lri.fr/~melquion/why3-sphinx/manual.pdf
- HTML: https://www.lri.fr/~melquion/why3-sphinx/api.html
- source: https://gitlab.inria.fr/why3/why3/raw/sphinx/doc/api.rst
Note that I have tweaked neither the CSS style nor the LaTeX class at all. These are the default settings, so do not expect too much from the way PDF and HTML are rendered.
I have translated only a small part of the documentation. I do not intend to push the experiment any further, unless people think that it is worth it.
As far as I could tell, the main missing feature is that the figure environment only supports pictures in reST, while in LaTeX you can put arbitrary code inside it.