0.8.5.22:

[sbcl.git] / doc / clean.sh

diff --git a/doc/clean.sh b/doc/clean.sh
index 92c882d..0ed3330 100644 (file)
--- a/doc/clean.sh
+++ b/doc/clean.sh
@@ -1,5 +1,10 @@
 #!/bin/sh
 
+# Remove directories which are known to be generated for output only.
+rm -rf html/
+
+# 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