Re: Possible bug report: URL capitalization in online manual

2020-02-09 Thread Ori
so perhaps it's not so bad. Just leave it. The easy option! Maybe there are others. At any rate, thanks for your help. Ori On Sat, Feb 8, 2020 at 2:56 PM Bastien wrote: > Hi Ori, > > Ori writes: > > > I'm not sure which repo this all lives in but I believe since

Re: Possible bug report: URL capitalization in online manual

2020-02-08 Thread Ori
g the sentence-case version. Happy to take a stab at this if you can point me to the repo! Ori On Sat, Feb 8, 2020 at 2:15 PM Bastien wrote: > Hi Ori, > > Ori Barbut writes: > > > Not sure if this was intentional? > > Yes -- old html manual pages where still around and I

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