2 Commits (bdf679986e14e886675b6e01647602b1bfeca68d)

Author	SHA1	Message	Date
Martin Scheidt	a98f3b26bd	integrated documentation compilation in build.sh script	2022-03-22 18:27:29 +01:00
Martin Scheidt	43773cddff	reorganized the doc/symbolgy folder to ease conversion to different tools	2022-01-17 09:34:48 +01:00