3 Commits

Author	SHA1	Message	Date
John J. Camilleri	20efc48e21	Fix making of "sources.html" ... Uses same template as synopsis, maybe this shoudl be generalised a bit	2018-11-13 09:50:10 +01:00
John J. Camilleri	74384044c9	Move everything related to synopsis into subfolder ... Clean up some unused and generated files	2018-11-12 10:05:42 +01:00
John J. Camilleri	ec9753e7b5	Use Pandoc and introduce HTML template for synopsis ... - Remove isLatex flag - Plan to convert to Markdown and simply format	2018-11-09 09:08:30 +01:00