From 575539996bb4a1ceeb796698d2eab2ef35a5df71 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Wed, 23 Dec 2020 16:07:04 -0500 Subject: [PATCH] Fix manifest for src/config_rev in last commit --- Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.in b/Makefile.in index 2646d3017..ccf622ccf 100644 --- a/Makefile.in +++ b/Makefile.in @@ -153,6 +153,7 @@ DISTFILES_INC = $(INFOS) .gitignore \ .*attributes */.*attributes */*/.*attributes \ src/.*ignore src/*.in src/*.cpp src/*.[chly] \ src/astgen src/bisonpre src/*fix src/cppcheck_filtered \ + src/config_rev \ src/vlcovgen src/mkinstalldirs \ src/.gdbinit \ src/*.pl src/*.pod \