From 3740e0c9e0aa5dd0bcdb97db4c7e4a54057a0a2b Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Mon, 5 Mar 2012 22:55:08 -0500 Subject: [PATCH] manual.texi now looking for version.texi --- doc/manual.texi | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/doc/manual.texi b/doc/manual.texi index 22e05c6..4b4f713 100644 --- a/doc/manual.texi +++ b/doc/manual.texi @@ -1,11 +1,13 @@ \input texinfo @c -*-texinfo-*- @c %**start of header @setfilename manual.info -@settitle ease.js Manual v0.1.0 +@settitle ease.js Manual v@value{VERSION} @c %**end of header +@include version.texi + @copying -This manual is for ease.js, version 0.1.0. +This manual is for ease.js, version @value{VERSION}. Copyright @copyright{} 2011 Mike Gerwitz. @@ -22,7 +24,7 @@ Free Documentation License". @titlepage -@title ease.js Manual v0.1.0 +@title ease.js Manual v@value{VERSION} @subtitle User & Developer Documentation @author Mike Gerwitz