aboutsummaryrefslogtreecommitdiffstats
path: root/.github/main.py
diff options
context:
space:
mode:
authorSteven Arcangeli <stevearc@stevearc.com>2023-08-28 07:33:57 -0700
committerSteven Arcangeli <stevearc@stevearc.com>2023-08-28 07:43:51 -0700
commit7f9370a8e704dc9fda25681b2077c20fe2a3fa5f (patch)
tree924ef6e606621e4b9f450162309b66109ef3af61 /.github/main.py
parent90e8a8d63c7d77d1872dca3da720abfa07271054 (diff)
doc: move doc scripts around and eliminate submodule
Diffstat (limited to '.github/main.py')
-rwxr-xr-x.github/main.py31
1 files changed, 0 insertions, 31 deletions
diff --git a/.github/main.py b/.github/main.py
deleted file mode 100755
index 4dffddf..0000000
--- a/.github/main.py
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/usr/bin/env python
-import argparse
-import os
-import sys
-
-HERE = os.path.dirname(__file__)
-ROOT = os.path.abspath(os.path.join(HERE, os.path.pardir))
-DOC = os.path.join(ROOT, "doc")
-
-
-def main() -> None:
- """Generate docs"""
- sys.path.append(HERE)
- parser = argparse.ArgumentParser(description=main.__doc__)
- parser.add_argument("command", choices=["generate", "lint"])
- args = parser.parse_args()
- if args.command == "generate":
- import generate
-
- generate.main()
- elif args.command == "lint":
- from nvim_doc_tools import lint_md_links
-
- files = [os.path.join(ROOT, "README.md")] + [
- os.path.join(DOC, file) for file in os.listdir(DOC) if file.endswith(".md")
- ]
- lint_md_links.main(ROOT, files)
-
-
-if __name__ == "__main__":
- main()