Re: Arch-tags in dvi manuals.

[Lute Kamstra]

Luc Teirlinck <address@hidden> writes:

> Lute Kamstra wrote:
>
>    I see the arch-tag of man/texinfo.tex on the first page of man/*.dvi
>    manuals.
>
> That is because man/texinfo.tex starts as a TeX file, but at the end
> we are in a fully functional Texinfo.  `%' is no longer recognized as a
> comment character at the end of the file.  Thus the current:
>
> % arch-tag: e1b36e32-c96e-4135-a41a-0b2efa2ea115
>
> needs to be replaced with:
>
> @ignore
>    arch-tag: e1b36e32-c96e-4135-a41a-0b2efa2ea115
> @end ignore

Come to think of it: texinfo.tex is maintained outside Emacs.  Every
once in a while Texinfo will come up with a new version and somebody
will copy it into the man dir.  The arch-tag would be lost in the
process.  How should we handle these things?

  Lute.