From bac87afb65a8404346a58c4b1fd3c3cf1c89417c Mon Sep 17 00:00:00 2001 From: tomeichlersmith Date: Tue, 18 Jul 2023 11:55:18 -0500 Subject: [PATCH] move gen-man script to ci with the other ci scripts --- .github/workflows/manpages.yml | 2 +- {man => ci}/gen-man | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename {man => ci}/gen-man (100%) diff --git a/.github/workflows/manpages.yml b/.github/workflows/manpages.yml index 423d470..cc54bec 100644 --- 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 b/ci/gen-man similarity index 100% rename from man/gen-man rename to ci/gen-man