move gen-man script to ci with the other ci scripts

tomeichlersmith · Jul 18, 2023 · bac87af · bac87af
1 parent 430a2d5
commit bac87af
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.github/workflows/manpages.yml b/.github/workflows/manpages.yml
@@ -22,7 +22,7 @@ jobs:
         run: |
           sudo apt-get update
           sudo apt-get install pandoc
-          ./man/gen-man
+          ./ci/gen-man
       - name: push updated manual
         run: |
           git config --global user.name denv-docs-bot

diff --git a/man/gen-man → ci/gen-man b/man/gen-man → ci/gen-man