diff options
| -rw-r--r-- | doc/Makefile | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/doc/Makefile b/doc/Makefile index 27c48a30..22a01fac 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -18,9 +18,10 @@ dir := doc makemode := misc -DIST_FILES = navigating gpl.texinfo hurd.texi version.texi \ - hurd.info $(wildcard hurd.info-*) +DIST_FILES := navigating gpl.texinfo hurd.texi version.texi \ + hurd.info $(wildcard hurd.info-*) targets = hurd.info +installationdir = $(infodir) DVIPS = dvips @@ -55,5 +56,3 @@ stamp-version: $(top_srcdir)/Makeconf echo '@set VERSION $(hurd-version)' > version.texi.new $(move-if-change) version.texi.new version.texi touch $@ - -all: $(targets) |