* doc/org/install.org: New file.
* doc/Makefile.am: Add it.
* doc/org/index.org: Link to it.
* doc/org/setup.org: Add macro for
various version numbers.
* doc/org/tools.org: Update version number.
* NEWS, README, bench/ltl2tgba/README, debian/control,
debian/copyright: Update URLs to website.
* doc/org/index.org, doc/org/tut.org: New files.
* doc/Makefile.am: Add them.
* doc/org/setup.org: Adjust HOME link.
* doc/org/tools.org: Adjust UP link.
* debian/spot-doc.doc-base: The root is now index.html.
* debian/control (libspot-dev): Do not depend on an exact version of
spot.
(spot-doc): depend on libjs-mathjax.
* debian/rules: Patch doc/userdoc/ to use the local version of MathJax.
This work around what appears to be an exception handling bug, causing
binaries to not always catch excepting thrown by the library.
* debian/rules: Here.
* debian/control: Update standars-version. Add missing ${misc:Depends}.
Use Depends: ${source:Version} for libspot-dev. Fix description of
spot.
* debian/spot-doc.doc-base: Move the doc to Science/Mathematics.
