diff options
author | Mike Gerwitz <gerwitm@lovullo.com> | 2016-07-05 23:23:10 -0400 |
---|---|---|
committer | Mike Gerwitz <gerwitm@lovullo.com> | 2016-07-06 00:16:36 -0400 |
commit | cefc7164de9a3d1dab6735dd5dd215409e5f204f (patch) | |
tree | 8a1ba6f9b517dfb00f76c16dc7239efe8b57f982 /doc | |
parent | 000c0345bd5450cd7d12fbadb5859620bf5d38c4 (diff) | |
download | tame-cefc7164de9a3d1dab6735dd5dd215409e5f204f.tar.gz tame-cefc7164de9a3d1dab6735dd5dd215409e5f204f.tar.bz2 tame-cefc7164de9a3d1dab6735dd5dd215409e5f204f.zip |
Include version.texi earlier for title output
* doc/tame.texi: Include version.texi before title so that VERSION is
available.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/tame.texi | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/tame.texi b/doc/tame.texi index 760e302..f8929d9 100644 --- a/doc/tame.texi +++ b/doc/tame.texi @@ -1,12 +1,13 @@ \input texinfo + +@include version.texi + @c %**start of header @setfilename tame.info @documentencoding UTF-8 @settitle TAME Manual v@value{VERSION} @c %**end of header -@include version.texi - @copying This manual is for TAME, version @value{VERSION}. |