build_docs: Use 'make distclean' instead of 'make clean'.

This fixes bug #6058.
Thanks to Christian Perrier for reporting!

Karolin
(cherry picked from commit 162e4b66601b41dd5adb24e192f3b5a91dfb41cc)
(cherry picked from commit 2545fcc48888628eef2d6b83ef5656be1e53bf7e)
(cherry picked from commit 0098eb45d99373a4d1945e61dda24ea282c377e7)

diff --git a/release-scripts/build-docs b/release-scripts/build-docs
index b80a7fb6f3e16301e892bd48e855b77d5b501ca2..bde87f49bdac26afe69cf9b8d4b6e7260dcc281c 100755 (executable)
--- 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