Merge pull request #114 from atcoder/patch/issue111

yosupo06 · web-flow · commit 113e3c6875b4 · 2021-03-06T01:21:24.000+09:00
fix #111: make --tag as required
diff --git a/tools/generate_document.py b/tools/generate_document.py
@@ -76,7 +76,7 @@ def convert(md_statement: str, base_dir: Path, tag: str) -> str:
         level=getenv('LOG_LEVEL', 'INFO'),
     )
     parser = argparse.ArgumentParser(description='Document generator')
-    parser.add_argument('--tag', help='Library version')
+    parser.add_argument('--tag', help='Library version', required=True)
     opts = parser.parse_args()
 
     langs = ['en', 'ja']

Original file line number	Diff line number	Diff line change
`@@ -76,7 +76,7 @@ def convert(md_statement: str, base_dir: Path, tag: str) -> str:`
`76`	`76`	`level=getenv('LOG_LEVEL', 'INFO'),`
`77`	`77`	`)`
`78`	`78`	`parser = argparse.ArgumentParser(description='Document generator')`
`79`		`- parser.add_argument('--tag', help='Library version')`
	`79`	`+ parser.add_argument('--tag', help='Library version', required=True)`
`80`	`80`	`opts = parser.parse_args()`
`81`	`81`
`82`	`82`	`langs = ['en', 'ja']`