Remove obsolete item.
[sbcl.git] / doc / make-doc.sh
blobfe8f261cd8c9bfa22bf9273cb35f6cac0ef1c7ad
1 #!/bin/sh
3 . ../find-gnumake.sh
4 find_gnumake
6 (cd ./manual ; $GNUMAKE html pdf info)