changeset 7113:e745cd4ca8f0

* Makefile (standards.info standards.html standards.dvi): Also depend on make-stds.texi.
author Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
date Fri, 11 Aug 2006 06:39:41 +0000
parents 3ab7a1e4a139
children 5b8becde9879
files doc/ChangeLog doc/Makefile
diffstat 2 files changed, 8 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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.
--- 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 @@
 info: $(doc).info
 html: $(doc).html
 dvi: $(doc).dvi
+
+standards.info standards.html standards.dvi: standards.texi make-stds.texi