Add .py extension to boxes2rst script

florianfesti · Sep 5, 2023 · fd46d0d · fd46d0d
1 parent ca0990d
commit fd46d0d
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -21,15 +21,15 @@ jobs:
       - name: Set up Python
         uses: actions/setup-python@v4
         with:
-          python-version: "3.10"
+          python-version: "3.11"
           cache: "pip" # caching pip dependencies
       - name: Install dependencies
         run: |
           pip install -r requirements.txt
       - name: Build documentation
         run: |
           cd ./documentation/src/
-          ./boxes2rst generators.inc
+          ./boxes2rst.py generators.inc
           make html #linkcheck
           cp index.html ../build/
           cd ../build/ && ls && ls html/

diff --git a/.github/workflows/typing.yml b/.github/workflows/typing.yml
@@ -34,5 +34,5 @@ jobs:
           mypy --ignore-missing-imports ./scripts/boxes2inkscape
           mypy --ignore-missing-imports ./scripts/boxes2pot
           mypy --ignore-missing-imports ./scripts/boxesserver
-          mypy --ignore-missing-imports ./documentation/src/boxes2rst
+          mypy --ignore-missing-imports ./documentation/src/boxes2rst.py
           mypy --ignore-missing-imports ./setup.py
diff --git a/documentation/src/boxes2rst → documentation/src/boxes2rst.py b/documentation/src/boxes2rst → documentation/src/boxes2rst.py
@@ -48,7 +48,7 @@ def write(self, targetFile: str) -> None:
 
 def main() -> None:
     if len(sys.argv) != 2:
-        print("Usage: boxes2rst TARGETFILE")
+        print("Usage: boxes2rst.py TARGETFILE")
         return
     b = Boxes2rst()
     b.write(sys.argv[1])