2 Commits (48794dd20c4ee9863819055e9082037613e36956)

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