web: Convert QUICK_START to markdown syntax.
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 15 Jun 2020 17:16:50 +0000 (19:16 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 22 Sep 2020 19:28:31 +0000 (21:28 +0200)
commit975357d614c27b81fbd65162a72d66d3b1a16a57
treebbd607a767221217931a9e9362975684e73d5eeb
parentff9ce949110452295fd4675d5cb0f08d89b4ca6f
web: Convert QUICK_START to markdown syntax.

This file is rather simple and we don't need doxygen to convert it
to html. After this, the quick start document becomes part of the
main page.

Although this patch modifies almost every line of QUICK_START, the
changes to the actual contents have been kept to a minimum.
Makefile
QUICK_START
web/Doxyfile
web/header.html
web/index.html.in