texinfo address@hidden' tag [feature request]

[Robert Spector]

------- Motivation: ----------------------------------

 

Allow for faster and more accurate bug-reporting by endusers

of generated texinfo documents (Info, TeX, HTML)

 

------- Given: ---------------------------------------

*.texi files generally have a version number

(automated under source code control and/or generated by @include version.texi)

------- Proposal: ------------------------------------

@version tag, to hold one of:

 

    (a) RCS/CVS Id 

    (b) @value{VERSION} from version.texi

    (c) manually-supplied value

------- Examples: -------------------------------------

 

@version $Id: texinfo.txi,v 1.219 2002/03/28 16:36:00 karl Exp $

 

@include version.texi

@version @value{VERSION}

 

@version 1.3.10

 

------- Advantages: -----------------------------------

(1) does not disturb current files -- easy upgrade path, commonly just

    moving RCS/CVS Id from @comment to @version

 

(2) permits generated documents to represent their source accurately

 

(3) no additional dependencies (cf. version.texi)

------- Caveats: --------------------------------------

 

(1) assumes that it does not collide with content in pre-existing

    texinfo files (containing a line that starts with address@hidden' ...)

 

(2) assumes that generated documents are never altered in situ

    (not a great concern, since the @version value would still be relevant)

 

-------------------------------------------------------