Didier Verna <didier(a)xemacs.org> writes:
- our info.el assumes that all info files have a .info extention
(modulo
gzip compression and stuff).
Gnus is not the only package to avoid `.info' as an extension. Moreover,
DJGPP might use different extensions.
- PGnus calls its info files gnus-[0-9]+ [...]
Personaly, I think that our info.el tries to be too clever, but I also
think that PGnus shouldn't mess around with makeinfo's output file name.
Nothing wrong, there. Gnus is not messing with output file names, as
`makeinfo' default is a proposal, not a standard. A lot of Info files
do not (or did not?) have `.info' extension anyway. Maybe that `.info'
as an extension became mandated? That would be new to me, but I'm not
following everything. Cc:ing to Karl, who might have an opinion on this.
--
François Pinard
http://www.iro.umontreal.ca/~pinard