manual: Combine overview.pdf and the user manual.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 29 Apr 2017 02:33:17 +0000 (04:33 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 21 May 2017 15:41:42 +0000 (17:41 +0200)
commitff13641489b00540d8b8ca0eb27adf0ed49b70f7
tree76c0c16610bad854276d1b472f699be7b2fe7b84
parentd6c12685fb9d9ce1065d2496f3476056f0d5788d
manual: Combine overview.pdf and the user manual.

The figures of the overview.pdf file look rather odd although they
used to look better when they were created four years ago. Apparently,
the dia command line tool which creates the pdf from the .dia source
file has changed and now messes up the lines which connect the parts
of the figure.

This commit re-implements four out of the five figures of the overview
file as ascii art in manual.md, removes overview.dia, and modifies
the documentation web page to no longer refer to the dia version.

The text of the overview file has been merged with the manual and
got improved a bit.

dia sucks.
web/dia/overview.dia [deleted file]
web/documentation.in.html
web/manual.md