diff --git a/.github/workflows/generate-documentation.yml b/.github/workflows/generate-documentation.yml index e16a255b..7b3f54e4 100644 --- a/.github/workflows/generate-documentation.yml +++ b/.github/workflows/generate-documentation.yml @@ -2,7 +2,7 @@ name: Generate documentation on: push: paths: - - 'documentation-tools/**' + - 'documentation-generator/**' - DOCUMENTATION.md jobs: @@ -13,5 +13,4 @@ jobs: with: ref: gh-pages - name: Run generator - run: documentation-tools/generate.py - + run: documentation-generator/run.py diff --git a/documentation-tools/filter.py b/documentation-generator/filter.py similarity index 97% rename from documentation-tools/filter.py rename to documentation-generator/filter.py index dd4a65d6..273047fd 100755 --- a/documentation-tools/filter.py +++ b/documentation-generator/filter.py @@ -8,7 +8,7 @@ import json import re import sys -from generate import SHIFT_HEADING +from run import SHIFT_HEADING def text_content(content): diff --git a/documentation-tools/postprocessor.py b/documentation-generator/postprocessor.py similarity index 100% rename from documentation-tools/postprocessor.py rename to documentation-generator/postprocessor.py diff --git a/documentation-tools/generate.py b/documentation-generator/run.py similarity index 100% rename from documentation-tools/generate.py rename to documentation-generator/run.py diff --git a/documentation-tools/template.html b/documentation-generator/template.html similarity index 100% rename from documentation-tools/template.html rename to documentation-generator/template.html