Improve distclean.

diff --git a/src/GNUmakefile.in b/src/GNUmakefile.in
index 17f2101e23ff74aecc803050e203b643bbee575a..3493b302f504cde4a499b5fe4662f314ee02ed1f 100644 (file)
--- a/src/GNUmakefile.in
+++ b/src/GNUmakefile.in
@@ -80,13 +80,14 @@ distclean: clean
                bin/pg_version/Makefile \
                include/config.h \
                include/dynloader.h \
+               include/os.h \
+               include/version.h \
                backend/port/tas.s \
                backend/port/dynloader.c \
                backend/utils/Gen_fmgrtab.sh \
                interfaces/ecpg/lib/Makefile \
                interfaces/libpq/Makefile \
                interfaces/libpgtcl/Makefile \
-               include/os.h \
                Makefile.port