0.8.14.28:

[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)