moparisthebest/xeps
1
0
Fork 0
mirror of https://github.com/moparisthebest/xeps synced 2024-12-21 23:28:51 -05:00
Code Issues Releases Wiki Activity

tools: be more specific about XEP filenames

Browse Source 
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.
This commit is contained in:
Sam Whited 2019-12-19 18:04:42 -05:00
parent 5f2bbc8261
commit 04c9106434
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/extract-metadata.py
View File

@ -202,7 +202,7 @@ def main():
has_error = False
for xepfile in args.xepdir.glob("xep-*.xml"):
for xepfile in args.xepdir.glob("xep-[0-9][0-9][0-9][0-9].xml"):
number = xepfile.name.split("-", 1)[1].split(".", 1)[0]
try:
number = str(int(number))