diff options
| -rwxr-xr-x | release-scripts/build-docs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release-scripts/build-docs b/release-scripts/build-docs index b80a7fb6f3..bde87f49bd 100755 --- a/release-scripts/build-docs +++ b/release-scripts/build-docs @@ -26,6 +26,6 @@ mv manpages-3 manpages mv htmldocs/manpages-3 htmldocs/manpages cd ../docs-xml || exit 1 -make clean +make distclean exit |