diff options
| author | Ralf Wildenhues <Ralf.Wildenhues@gmx.de> | 2006-08-11 06:39:41 +0000 |
|---|---|---|
| committer | Ralf Wildenhues <Ralf.Wildenhues@gmx.de> | 2006-08-11 06:39:41 +0000 |
| commit | 9b17f7521a0757388489f9c066bc666001f5ac74 (patch) | |
| tree | d2fa56975d4ac64d965a687cff03d92c625f5ecc /doc | |
| parent | 9de703f631ad53a426ce95215c04b9a1f4438165 (diff) | |
| download | gnulib-9b17f7521a0757388489f9c066bc666001f5ac74.tar.gz | |
* Makefile (standards.info standards.html standards.dvi):
Also depend on make-stds.texi.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ChangeLog | 5 | ||||
| -rw-r--r-- | doc/Makefile | 4 |
2 files changed, 8 insertions, 1 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 0ee73e53e7..cb32d9872b 100644 --- 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 3fa7e24fa6..183ef56b22 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 |