Re: Possible bug report: URL capitalization in online manual

[Bastien]

Hi Ori,

Ori Barbut <address@hidden> writes:

> Not sure if this was intentional?

Yes -- old html manual pages where still around and I deleted them,
because they confused people.

> If so would it make sense to alias the old URLs for people who have
> linked to the manual over the years?

Yes, such aliases would make sense at the web server level.

Can you track back on when the new scheme has been output when
exporting the manual and provide an alias list I should add to
the web server?

That would really help a lot!

Thanks,

-- 
 Bastien