1.0.31: release, to be tagged as sbcl_1_0_31
[sbcl.git] / doc / make-doc.sh
blob76da726d28adbf5f9b7b4331ba04835515c26fe5
1 #!/bin/sh
3 . ../find-gnumake.sh
4 find_gnumake
6 (cd ./manual ; $GNUMAKE html)