Re: Arch-tags in dvi manuals.

[Luc Teirlinck]

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


I guess I could not just use @c, because that might give trouble with
arch (or so I guess).

Miles, is the above OK with arch?

Sincerely,

Luc.