Conditionally install "dir" file in info directory.

diff --git a/v7/doc/Makefile.in b/v7/doc/Makefile.in
index 1c2459c083cb1a75b007b3185cc8655438d5a182..eb2c61b9a4194416c3e6a3a7222826fe9a20e2bd 100644 (file)
--- a/v7/doc/Makefile.in
+++ b/v7/doc/Makefile.in
@@ -1,4 +1,4 @@
-# $Id: Makefile.in,v 1.15 2007/01/05 21:23:36 cph Exp $
+# $Id: Makefile.in,v 1.16 2007/01/20 03:54:49 cph Exp $
 #
 # Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
 #     1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004,
@@ -108,6 +108,8 @@ install: install-info-gz install-man $(INST_TARGETS)
 
 install-info-gz install-info:
        $(mkinstalldirs) $(DESTDIR)$(infodir)
+       test ! -e $(DESTDIR)$(infodir)/dir \
+           && $(INSTALL_DATA) info-dir $(DESTDIR)$(infodir)/dir
        @for D in $(SUBDIRS); do \
            echo "making $@ in $${D}";\
            ( cd $${D} && $(MAKE) $@ ) || exit 1;\