ceeb298acb3b0f129cce0b7bae5c70ad3a8adea4
[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)