From cefc7164de9a3d1dab6735dd5dd215409e5f204f Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Tue, 5 Jul 2016 23:23:10 -0400 Subject: [PATCH] Include version.texi earlier for title output * doc/tame.texi: Include version.texi before title so that VERSION is available. --- doc/tame.texi | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/tame.texi b/doc/tame.texi index 760e302c..f8929d9c 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}.