0.8.10.32:

[sbcl.git] / doc / clean.sh

diff --git a/doc/clean.sh b/doc/clean.sh
index 92c882d..ceeb298 100644 (file)
--- a/doc/clean.sh
+++ b/doc/clean.sh
@@ -1,5 +1,7 @@
 #!/bin/sh
 
-find . \( \
-       -name '*.htm' -o \
-       -name '*.html' \) -print | xargs rm -f
+. ../find-gnumake.sh
+find_gnumake
+$GNUMAKE clean
+
+(cd manual; sh clean.sh)