diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/doc/Makefile b/doc/Makefile index 449b90eb..735f3a48 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -17,10 +17,11 @@ dir := doc makemode := misc -DIST_FILES := navigating gpl.texinfo hurd.texi version.texi targets = hurd.info $(wildcard hurd.info-*) installationdir = $(infodir) +DISTFILES = $(targets) + DVIPS = dvips include ../Makeconf @@ -52,10 +53,3 @@ stamp-version: $(..)config.make echo '@set VERSION $(hurd-version)' > version.texi.new $(move-if-change) version.texi.new version.texi touch $@ - -# XXX: the default lndist target will try to look for target files -# in the source directory. Special case them. -lndist: lndist-info-targets -lndist-info-targets: hurd.info $(wildcard hurd.info-*) - ln $? $(top_srcdir)/hurd-snap/$(dir) - |