1.0.28.28: delete %RAW-BITS and %SET-RAW-BITS

[sbcl.git] / doc / clean.sh

diff --git a/doc/clean.sh b/doc/clean.sh
index ceeb298..c1ff16b 100644 (file)
--- a/doc/clean.sh
+++ b/doc/clean.sh
@@ -1,7 +1,3 @@
 #!/bin/sh
 
-. ../find-gnumake.sh
-find_gnumake
-$GNUMAKE clean
-
 (cd manual; sh clean.sh)