diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2012-04-08 23:09:14 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-04-08 23:09:14 +0200 |
| commit | 94a3d5a0b5591ef065f86912948a79cf8b007b13 (patch) | |
| tree | ed2eeb2df1dca5c105703339f1dced353769605a /doc | |
| parent | 7d5a62da64c0f1a61fb2ea7b0e76950e12b422cd (diff) | |
Automatically regenerate files that depend on $(hurd-version).
Follow-up to 05f5cc229323a61799388fbb52da84ca8cb502c9 (»configure: Use modern
`AC_INIT' invocation.«).
* Makeconf (%: %.sh): Depend on config.make.
* Makefile (version.h): Use a stamp file.
(stamp-version): Depend on config.make.
* doc/Makefile (stamp-version): Likewise.
* Makeconf (make-deps): Take additional target-specific dependencies, $*-DEPS.
* console-client/Makefile (driver-DEPS): Depend on config.make.
* libstore/Makefile (module-DEPS): Likewise.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/doc/Makefile b/doc/Makefile index 0c00976c..449b90eb 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,5 +1,4 @@ -# -# Copyright (C) 1994, 1998, 1999, 2003 Free Software Foundation +# Copyright (C) 1994, 1998, 1999, 2003, 2012 Free Software Foundation # # This program is free software; you can redistribute it and/or # modify it under the terms of the GNU General Public License as @@ -48,10 +47,8 @@ include ../Makeconf %.ps: %.dvi $(DVIPS) $< -o $@ -move-if-change = $(SHELL) $(top_srcdir)/move-if-change - version.texi: stamp-version; @: -stamp-version: $(top_srcdir)/Makeconf +stamp-version: $(..)config.make echo '@set VERSION $(hurd-version)' > version.texi.new $(move-if-change) version.texi.new version.texi touch $@ |