diff options
Diffstat (limited to 'release-scripts')
| -rwxr-xr-x | release-scripts/build-manpages-nogit | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/release-scripts/build-manpages-nogit b/release-scripts/build-manpages-nogit index e5d51efda92..28743f47413 100755 --- a/release-scripts/build-manpages-nogit +++ b/release-scripts/build-manpages-nogit @@ -48,6 +48,10 @@ mkdir -p ${DOCS_DIR}/manpages rsync -Ca ${DOCS_XML_DIR}/output/manpages/ ${DOCS_DIR}/manpages +pushd ${DOCS_XML_DIR} || exit 1 +make realdistclean || _exit "Error running make realdistclean" +popd + echo "Success" exit |