4 Commits

Author	SHA1	Message	Date
Tommaso Cucinotta	a0e95a2c1b	generate_manuals_for_web: switch to xhtml, and use a random userdir while exporting, so no cached pic can be found.	2017-08-18 02:53:32 +02:00
Pavel Sanda	e8b324a984	oops, git is playing games with me.	2017-08-17 01:24:44 +02:00
Pavel Sanda	ca0813915c	Push Tommaso's script for publishing mans.	2017-08-17 01:14:56 +02:00
Pavel Sanda	7f4e46440d	Push Tommaso script for manuals generation.	2017-08-17 00:10:15 +02:00