1.0.41.46: further make.sh tweaks
[sbcl.git] / doc / manual / clean.sh
2004-05-09 William Harold Newman0.8.10.16: