4 Commits

Author	SHA1	Message	Date
Jonas Schäfer	7eb2c2e095	archive.py: add support for skipping building during archiving ... If it is known that the documents have already been built or if it is imperative to use the versions built even if local changes have been applied since the last build, this switch comes in handy.	2020-06-14 11:09:19 +02:00
Jonas Wielicki	97f21995a2	tools: allow archive.py to override archived XEPs	2018-02-23 08:23:57 +01:00
Jonas Wielicki	373a95c214	Make archive.py build the XEPs	2017-11-29 12:45:43 +01:00
Jonas Wielicki	a455020d3a	tooling: Add tool to copy changed XEPs to the attic	2017-08-23 14:45:07 +02:00