2 Commits (1c41e85629a5e3d3cc256b6912968a767561b3c3)

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