?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge commit 'c8da65a' into new-open
[sbcl/kreuter.git] / doc / make-doc.sh
blob76da726d28adbf5f9b7b4331ba04835515c26fe5
1 #!/bin/sh
2
3 . ../find-gnumake.sh
4 find_gnumake
5
6 (cd ./manual ; $GNUMAKE html)
kreuter