1.0.4.107: fix doc/make-doc.sh if "make" command is not GNU make.
[sbcl.git] / doc / make-doc.sh
1 #!/bin/sh
2
3 . ../find-gnumake.sh
4 find_gnumake
5
6 (cd ./manual ; $GNUMAKE html)