Fix *.gif expansion to be empty when no gif files are used.

diff --git a/doc/src/Makefile b/doc/src/Makefile
index 4c8c56cba7c418e228c6110282792e5446b4bf5e..5cbe442efdc67132d6f86ab609bcbcee6f5c18f9 100644 (file)
--- a/doc/src/Makefile
+++ b/doc/src/Makefile
@@ -1,5 +1,5 @@
 # Postgres documentation makefile
-# $Header: /cvsroot/pgsql/doc/src/Makefile,v 1.22 2001/09/18 12:08:26 petere Exp $
+# $Header: /cvsroot/pgsql/doc/src/Makefile,v 1.23 2001/09/30 16:01:12 petere Exp $
 
 subdir = doc/src
 top_builddir = ../..
@@ -36,7 +36,7 @@ $(addsuffix .tar, $(BOOKS)):
    $(MAKE) -C sgml clean
    $(MAKE) -C sgml $(basename $@).html
    $(MAKE) -C sgml $(basename $@).html JADEFLAGS='-V html-manifest'
-   cd sgml && $(TAR) -c -f ../$@ -T HTML.manifest *.gif *.css
+   cd sgml && $(TAR) -c -f ../$@ -T HTML.manifest `echo *.gif | grep -v '\*'` *.css
 
 man.tar:
    $(MAKE) -C sgml man