Re: Possible bug report: URL capitalization in online manual

2020-02-09 Thread Bastien
Hi Ori, thanks a lot for taking the trouble to produce this file, very useful. I've now installed the rewrite rules on the server and all these links are redirecting correctly. Given the amount of Org documentation links living out there, that's really a good idea. > Versioned folders living sid

Re: Possible bug report: URL capitalization in online manual

2020-02-09 Thread Ori
Hi Bastien, Attached are the relevant URL aliases. When I initially saw the issue I thought it was a matter of a change to the way the docs are built, not old vs new documentation. That makes the list I've attached a little tricky to maintain. Of course within emacs is the best way for a user to

Re: Possible bug report: URL capitalization in online manual

2020-02-08 Thread Bastien
Hi Ori, Ori writes: > I'm not sure which repo this all lives in but I believe since > information has been added to the paths, this should be easy. The > other direction would be trickier and would need the old scheme. > > Wherever the current filename has capital letters after the first > chara

Re: Possible bug report: URL capitalization in online manual

2020-02-08 Thread Ori
I'm not sure which repo this all lives in but I believe since information has been added to the paths, this should be easy. The other direction would be trickier and would need the old scheme. Wherever the current filename has capital letters after the first character, make an alias using the sent

Re: Possible bug report: URL capitalization in online manual

2020-02-08 Thread Bastien
Hi Ori, Ori Barbut 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

Possible bug report: URL capitalization in online manual

2020-02-08 Thread Ori Barbut
It seems that sometime in the past week the capitalization scheme of URLs generated for the online manual has changed. For example I see as of 2020-02-02 per the cache on Bing, the following url worked: https://orgmode.org/manual/Structure-of-code-blocks.html The new URL is: https://orgmode.org/ma