diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2012-04-10 17:50:47 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2012-04-10 17:50:47 +0200 |
| commit | 34163eb0e229973ca43144b53f008e229b7ae851 (patch) | |
| tree | ecd28dcd46c5045a6a253b952730287f5065c25b /doc | |
| parent | 50bfb9acf98d5f4c0c5948cc28285e990b40b659 (diff) | |
Add `doc/version.texi' to the distribution.
* doc/Makefile (targets): Add `version.texi'.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 2 |
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) |