diff --git a/src/GNUmakefile.in b/src/GNUmakefile.in index 3455b12e3acc57f6c7ea92fa062494a3e0475f94..06ee2deb7d655063c7a5724a4ee595ce9ba5af06 100644 --- a/src/GNUmakefile.in +++ b/src/GNUmakefile.in @@ -7,7 +7,7 @@ # # # IDENTIFICATION -# $Header: /cvsroot/pgsql/src/Attic/GNUmakefile.in,v 1.19 1997/11/07 06:22:36 thomas Exp $ +# $Header: /cvsroot/pgsql/src/Attic/GNUmakefile.in,v 1.20 1997/12/02 03:19:42 scrappy Exp $ # #------------------------------------------------------------------------- @@ -93,6 +93,7 @@ distclean: clean backend/port/Makefile \ bin/psql/Makefile \ bin/pg_dump/Makefile \ + bin/pg_version/Makefile \ include/config.h \ backend/utils/Gen_fmgrtab.sh \ include/os.h \