Improve distclean.

diff --git a/src/GNUmakefile.in b/src/GNUmakefile.in
index 2232a772ad7ca82612aea2940c12e354e5ee8cdc..da4c849b4fb3ee531ac66157f53cef24f53a63a6 100644 (file)
--- a/src/GNUmakefile.in
+++ b/src/GNUmakefile.in
@@ -7,7 +7,7 @@
 #
 #
 # IDENTIFICATION
-#    $Header: /cvsroot/pgsql/src/Attic/GNUmakefile.in,v 1.25 1998/04/06 17:02:13 momjian Exp $
+#    $Header: /cvsroot/pgsql/src/Attic/GNUmakefile.in,v 1.26 1998/08/30 03:34:05 momjian Exp $
 #
 #-------------------------------------------------------------------------
 
@@ -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