diff options
Diffstat (limited to 'release-scripts/build-docs')
| -rwxr-xr-x | release-scripts/build-docs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/release-scripts/build-docs b/release-scripts/build-docs index c138149f6c..bde87f49bd 100755 --- a/release-scripts/build-docs +++ b/release-scripts/build-docs @@ -25,4 +25,7 @@ cd ../docs || exit 1 mv manpages-3 manpages mv htmldocs/manpages-3 htmldocs/manpages +cd ../docs-xml || exit 1 +make distclean + exit |