.PHONY: strip

STRIP_SUBDIRS = GridFile RTree dbbook linearHash lockMgr logMgr \
    recoveryMgr intro/multi_user.html intro/design.html os reports
 

# Only do the stripping if we have taken the stuff out of CVS!
strip:
	@if [ -d CVS ] ;\
	then \
		echo "That's probably NOT a good idea." ;\
		echo "Get rid of the CVS directories first," ;\
		echo "so I can be sure you won't check the result in." ;\
	else \
		for i in $(STRIP_SUBDIRS); do (/bin/rm -rf $$i); done;\
	fi