0.8.13.8:
[sbcl.git] / doc / clean.sh
1 #!/bin/sh
2
3 . ../find-gnumake.sh
4 find_gnumake
5 $GNUMAKE clean
6
7 (cd manual; sh clean.sh)