x86-64: Allow choice of 0xCC or 0xCE as the interrupt instruction
[sbcl.git] / doc / make-doc.sh
blobfe8f261cd8c9bfa22bf9273cb35f6cac0ef1c7ad
1 #!/bin/sh
3 . ../find-gnumake.sh
4 find_gnumake
6 (cd ./manual ; $GNUMAKE html pdf info)