if [ -f $(MANUAL).pdf ]; then cp -rf $(MANUAL).pdf $(docdir); fi
if [ -f $(TSS).pdf ]; then cp -rf $(TSS).pdf $(docdir); fi
if [ -f $(CDB).pdf ]; then cp -rf $(CDB).pdf $(docdir); fi
- [ -d $(docdir) ] find $(docdir) -name CVS -type d -exec rm -r {} \;
+ rm -rf `find $(docdir) -name CVS -type d`
rm -f $(docdir)/*/WARNINGS $(docdir)/*/*.pl $(docdir)/*/images.*
uninstall: