open intervals and type derivation

[sbcl.git] / doc / clean.sh

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