Re: [PATCH] Updating documentation about bulding documentation in Windows.

2018-01-26 Thread Michail Nikolaev
Hello. It is not so easy to fix the script because it is based on old toolset (probably on 9.6). I'll try one more attempt. Regardning WSL: I think it is better to keep some instructions because there are a lot of common errors - line ending, correct usage of linux\windows file system mappings. M

Re: [PATCH] Updating documentation about bulding documentation in Windows.

2018-01-25 Thread Peter Eisentraut
On 1/23/18 16:05, Michail Nikolaev wrote: > Current documentation contains outdated instruction and scripts relative > to building documentation on Windows machine. > > I removed useless scripts and wrote some guide to build docs using > Windows Linux Subsystem. Why not fix the script instead? U

[PATCH] Updating documentation about bulding documentation in Windows.

2018-01-23 Thread Michail Nikolaev
Hello everyone. Current documentation contains outdated instruction and scripts relative to building documentation on Windows machine. I removed useless scripts and wrote some guide to build docs using Windows Linux Subsystem. Also, could be viewed on github - https://github.com/michail-nikolaev