From bbfae8c131aff18042f5106d49d63705ba952b1b Mon Sep 17 00:00:00 2001 From: Unrud Date: Thu, 27 Feb 2020 03:24:30 +0100 Subject: [PATCH] Move documentation-tools/ to documentation-generator/ --- .github/workflows/generate-documentation.yml | 5 ++--- {documentation-tools => documentation-generator}/filter.py | 2 +- .../postprocessor.py | 0 .../generate.py => documentation-generator/run.py | 0 .../template.html | 0 5 files changed, 3 insertions(+), 4 deletions(-) rename {documentation-tools => documentation-generator}/filter.py (97%) rename {documentation-tools => documentation-generator}/postprocessor.py (100%) rename documentation-tools/generate.py => documentation-generator/run.py (100%) rename {documentation-tools => documentation-generator}/template.html (100%) 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