$(INSTALL) $(INSTALLFLAGS) $(shell echo src/*.cl *.system) $(lispfiles)
$(INSTALL) $(INSTALLFLAGS) $(shell echo src/mcl/*.cl) $(lispfiles)/mcl
+ rm -rf doc/html
+ (cd doc; tar xzf html.tar.gz; cd ..)
$(INSTALL) $(INSTALLFLAGS) doc/html/* $(docfiles)/html
+ rm -rf doc/html
cp doc/uffi.pdf doc/cl-uffi.pdf
rm -f doc/cl-uffi.pdf.gz
gzip doc/cl-uffi.pdf