0.8.10.16:

[sbcl.git] / doc / clean.sh

diff --git a/doc/clean.sh b/doc/clean.sh
index 0ed3330..ceeb298 100644 (file)
--- a/doc/clean.sh
+++ b/doc/clean.sh
@@ -1,10 +1,7 @@
 #!/bin/sh
 
-# Remove directories which are known to be generated for output only.
-rm -rf html/
+. ../find-gnumake.sh
+find_gnumake
+$GNUMAKE clean
 
-# Remove files whose suffixes indicate that they're generated (e.g.
-# HTML or PostScript) not source (DocBook/SGML, build scripts, etc.).
-find . \( \
-       -name '*.htm' -o \
-       -name '*.html' \) -print | xargs rm -f
+(cd manual; sh clean.sh)