--- admin/Makefile.common	2001/07/17 05:16:52	1.118
+++ admin/Makefile.common	2001/07/29 13:33:25
@@ -92,22 +92,32 @@ cvs-clean:
 	pwd=`pwd` ;\
 	dirs=`find . -type d | grep -v CVS | sed -e "s#^./##"` ;\
 	for i in $$dirs; do \
-	  if test ! -d "$$pwd/$$i/CVS"; then \
-	    echo "D $$i" ;\
-	    rm -rf "$$pwd/$$i"; \
-	    continue; \
-	  fi ;\
-	  cd $$pwd/$$i ;\
-	  for f in * .*; do \
-	    if test ! -d "$$f"; then \
-	      if grep "^/$$f/" CVS/Entries > /dev/null; then \
-		a="b"; \
-	      else \
-	        echo "F $$i/$$f"; \
-		rm -f "$$pwd/$$i/$$f"; \
-	      fi; \
-	    fi ; \
-	  done; \
+	  case "$$i" in \
+	    debian) \
+		  echo "Ignoring files in $$i"; \
+		;; \
+		*/HTML) \
+		  echo "Ignoring files in $$i"; \
+		;; \
+		*) \
+	      if test ! -d "$$pwd/$$i/CVS"; then \
+	        echo "D $$i" ;\
+	        rm -rf "$$pwd/$$i"; \
+	        continue; \
+	      fi ;\
+	      cd $$pwd/$$i ;\
+	      for f in * .*; do \
+	        if test ! -d "$$f"; then \
+	          if grep "^/$$f/" CVS/Entries > /dev/null; then \
+		    a="b"; \
+	          else \
+	            echo "F $$i/$$f"; \
+		    rm -f "$$pwd/$$i/$$f"; \
+	          fi; \
+	        fi ; \
+	      done; \
+	    ;; \
+	  esac; \
 	done