9 Commits

Author	SHA1	Message	Date
Sam Whited	04c9106434	tools: be more specific about XEP filenames ... Sometimes the main working directory may have other XML files such as the temporary files generated by TeXML (xep-*.tex.xml) which may be picked up by the metadata script. Use a more specific pattern so that it only extracts metadata from real XEP files.	2019-12-19 18:04:42 -05:00
Jonas Schäfer	cb8936de67	tools: Support for <ul/> in revision history	2019-01-13 12:20:01 +01:00
Jonas Wielicki	14c40d8620	Support for multi-<p/> revision block remarks	2017-11-29 11:55:26 +01:00
Jonas Wielicki	711cf257b3	tools: Update tooling to support Last Calls	2017-10-16 20:39:34 +02:00
Jonas Wielicki	130b97e708	tooling: make extract-metadata work with element-less <remark/>	2017-08-24 15:37:53 +02:00
Jonas Wielicki	d0bbbb2d5c	extract-metadata: make error handling cleaner	2017-08-23 17:00:55 +02:00
Jonas Wielicki	0ff93d4fa0	tooling: print metadata extraction errors to stderr	2017-08-23 16:34:49 +02:00
Jonas Wielicki	18fbef73b4	tooling: refactor commonly used stuff into xeplib.py	2017-08-23 14:45:07 +02:00
Jonas Wielicki	1a679824b2	tooling: Tool to extract a XEP metadata list from the repository	2017-08-23 13:50:36 +02:00