diff options
| -rwxr-xr-x | release-scripts/build-manpages-git | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release-scripts/build-manpages-git b/release-scripts/build-manpages-git index 3ba05c7f1b..0f3568d4bb 100755 --- a/release-scripts/build-manpages-git +++ b/release-scripts/build-manpages-git @@ -24,7 +24,7 @@ _exit() { DIRNAME=$(dirname $0) DOCS_XML_DIR=${DIRNAME}/../docs-xml -DOCS_DIR=${DIRNAME}/../docs +DOCS_DIR=${DIRNAME}/../bin/docs pushd ${DOCS_XML_DIR} || exit 1 |