Remove more auto-generated headers

diff --git a/src/include/all.mk b/src/include/all.mk
index d44827940736ce16e58e4519eebb58e99f389ec1..1bf7a0bfe26cd6654931e0c16a00bd0028163024 100644 (file)
--- a/src/include/all.mk
+++ b/src/include/all.mk
@@ -151,7 +151,7 @@ install: install.src.include
 #
 .PHONY: clean.src.include distclean.src.include
 clean.src.include:
-       @rm -f $(addprefix src/include/,$(HEADERS_DY))
+       @rm -f $(addprefix src/include/,$(HEADERS_DY)) $(HEADERS_RFC)
 
 clean: clean.src.include