From 9b17f7521a0757388489f9c066bc666001f5ac74 Mon Sep 17 00:00:00 2001 From: Ralf Wildenhues Date: Fri, 11 Aug 2006 06:39:41 +0000 Subject: [PATCH] * Makefile (standards.info standards.html standards.dvi): Also depend on make-stds.texi. --- doc/ChangeLog | 5 +++++ doc/Makefile | 4 +++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/doc/ChangeLog b/doc/ChangeLog index 0ee73e53e..cb32d9872 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,8 @@ +2006-08-11 Ralf Wildenhues + + * Makefile (standards.info standards.html standards.dvi): + Also depend on make-stds.texi. + 2006-07-29 Bruno Haible * gnulib-tool.texi (gl_LIBTOOL): Mention --no-libtool option. diff --git a/doc/Makefile b/doc/Makefile index 3fa7e24fa..183ef56b2 100644 --- 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 -- 2.11.0