summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2012-04-10 17:50:47 +0200
committerLudovic Courtès <ludo@gnu.org>2012-04-10 17:50:47 +0200
commit34163eb0e229973ca43144b53f008e229b7ae851 (patch)
treeecd28dcd46c5045a6a253b952730287f5065c25b /doc
parent50bfb9acf98d5f4c0c5948cc28285e990b40b659 (diff)
Add `doc/version.texi' to the distribution.
* doc/Makefile (targets): Add `version.texi'.
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile
index 735f3a48..b64a8386 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -17,7 +17,7 @@
dir := doc
makemode := misc
-targets = hurd.info $(wildcard hurd.info-*)
+targets = hurd.info $(wildcard hurd.info-*) version.texi
installationdir = $(infodir)
DISTFILES = $(targets)