From 157864d1e8cb069a3be0aadf71e114f9ae827df3 Mon Sep 17 00:00:00 2001 From: Karolin Seeger Date: Wed, 21 Jan 2009 11:37:30 +0100 Subject: [PATCH] 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) Signed-off-by: Michael Adam --- release-scripts/build-docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/release-scripts/build-docs b/release-scripts/build-docs index b80a7fb6f3e..bde87f49bda 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