12 commits

Author	SHA1	Message	Date
Jan Holthuis	aae989a375	Set sphinx date from commit creatordate	2020-02-25 15:22:10 +01:00
Jan Holthuis	3ab33e5148	Add missing "-D" flag for command line defines	2020-02-25 12:32:29 +01:00
Jan Holthuis	537cb23438	Fix source directory path for other versions	2020-02-25 12:31:49 +01:00
Jan Holthuis	366e7f3c8b	main: Also catch OSErrors when loading the config	2020-02-23 18:45:32 +01:00
Jan Holthuis	8f992a3761	Replace default outputdir format	2020-02-23 17:32:56 +01:00
Jan Holthuis	88171df2dd	Refactor config loading and git tree parsing	2020-02-23 17:10:33 +01:00
Jan Holthuis	54112368be	git: Switch from shallow clones to "git archive" to support arbitrary commits	2020-02-21 14:01:09 +01:00
Jan Holthuis	4cae607d1a	Add support for distinguishing released/in-development versions	2020-02-21 13:59:51 +01:00
Jan Holthuis	88ff5dd9b2	Add support listing release of each version	2020-02-20 17:03:03 +01:00
Jan Holthuis	f6ecbc761c	Add support for listing versions by version number	2020-02-20 16:52:11 +01:00
Jan Holthuis	4849ee449e	Only use local copies of remote branches	2020-02-19 18:03:43 +01:00
Jan Holthuis	6906ab6439	Add initial version of project	2020-02-19 17:18:57 +01:00