8 Commits

Author	SHA1	Message	Date
Matthias Koefferlein	72c71a91a8	Fixed (?) user doc generation	2022-10-16 22:05:40 +02:00
Matthias Koefferlein	a9b5983c55	Fixed doc generation script: needs a clean distribution dir.	2018-07-29 15:05:06 +02:00
Matthias Koefferlein	5b7a924c3e	Fixed doc generation script.	2018-06-24 18:15:36 +02:00
Matthias Koefferlein	ea31e76c92	Enhanced user doc (css, title)	2018-06-24 18:11:40 +02:00
Matthias Koefferlein	15518c3984	Leaner doc generation, python3 installed fix for openSuSE.	2018-06-24 17:33:24 +02:00
Matthias Koefferlein	0798ac1e45	Fixed user extraction script.	2018-06-24 17:12:53 +02:00
Matthias Koefferlein	4c23e5f42e	Using batch mode for doc generation.	2018-06-24 17:05:40 +02:00
Matthias Koefferlein	8ebf4a0f79	Added Jenkinsfile for doc generation step.	2018-06-24 16:10:49 +02:00