1.0.12: release, will be tagged as sbcl_1_0_12
[sbcl.git] / doc / clean.sh
1 #!/bin/sh
2
3 (cd manual; sh clean.sh)