Re: [Texi2html-bug] notabug: input filenames

[Graham Percival]

Patrice Dumas wrote:
> If the behavioir change, the remaining issues are: should the name 
> without extension also be used to determine the manual basename?

Yes, I think it is more natural for
  manual.weirdextension
to produce
  manual.html
  manual/manual.html

I confess that I had forgotten why we named our files .tely  (this is 
because they require one step of automatic processing before we produce 
.texi files), but if a user really wants to use their own special 
extensions, why not?

Cheers,
- Graham