Better printing of out of range --dynamic-space-size arguments.

[sbcl.git] / doc / make-doc.sh

diff --git a/doc/make-doc.sh b/doc/make-doc.sh
index 8ce3106..fe8f261 100644 (file)
--- a/doc/make-doc.sh
+++ b/doc/make-doc.sh
@@ -1,3 +1,6 @@
 #!/bin/sh
 
-(cd ./manual ; make html)
+. ../find-gnumake.sh
+find_gnumake
+
+(cd ./manual ; $GNUMAKE html pdf info)