Ihor Radchenko <yanta...@gmail.com> wrote: >>> This looks like the nginx case issue again.
>>> I've looked at this and there does not seem to be any 'clean' way to fix >>> this which also doesn't have significant processing overhead or a >>> maintenance burden. >>> I wonder if it would be worthwhile adding an option to HTML export which >>> would force all link targets and exported filenames to lower case, >>> thereby avoiding issues on platforms and with web servers which have >>> different positions wrt case sensitivity? >> Is the nginx configuration/webserver setup documented some- >> where? > AFAIK, our nginx configs are not public, but Bastien may privately share > them if you are willing to help. Willingness implies commitment, and I don't have that (nor deeper nginx experience). :-) (That's one of the advantages of free software for me: I can look at a bunch of problems, pick the one I know the solution for and get instant grati- fication :-).) Tim
