From 04c9106434315dd71520fe9d4e3b8f2c4fbe2613 Mon Sep 17 00:00:00 2001 From: Sam Whited Date: Thu, 19 Dec 2019 18:04:42 -0500 Subject: [PATCH] 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. --- tools/extract-metadata.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/extract-metadata.py b/tools/extract-metadata.py index 1dd41632..cf0ecbda 100755 --- a/tools/extract-metadata.py +++ b/tools/extract-metadata.py @@ -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))