* Makefile (standards.info standards.html standards.dvi):

Also depend on make-stds.texi.

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 0ee73e53e74027ef9f68294fe16fdc395ef8da0e..cb32d9872b5d1eed1c78ef40ac7d127f837f5abb 100644 (file)
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,8 @@
+2006-08-11  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
+
+       * Makefile (standards.info standards.html standards.dvi):
+       Also depend on make-stds.texi.
+
 2006-07-29  Bruno Haible  <bruno@clisp.org>
 
        * gnulib-tool.texi (gl_LIBTOOL): Mention --no-libtool option.

diff --git a/doc/Makefile b/doc/Makefile
index 3fa7e24fa66f3fac08980805f177cbdcb1f82286..183ef56b22010733ace2be8f4ccdd7dd1198047d 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,4 +1,4 @@
-# $Id: Makefile,v 1.3 2006-06-19 20:40:26 karl Exp $
+# $Id: Makefile,v 1.4 2006-08-11 06:39:41 rwild Exp $
 # Makefile for gnulib doc.  
 # Copyright (C) 2004, 2006 Free Software Foundation, Inc.
 #
@@ -16,3 +16,5 @@ all: info html dvi
 info: $(doc).info
 html: $(doc).html
 dvi: $(doc).dvi
+
+standards.info standards.html standards.dvi: standards.texi make-stds.texi