Re: makeinfo options

[Karl Berry]

    to identify the version of the makeinfo *input*.

Oh.  A version number for the texinfo language.  I guess.  But once
again, old versions of makeinfo can usually process new documents.  Only
documents that use new features.  And if they use new features, you get
error messages anyway ...