Re: [CMake] Additional traffic on cmake.org concerning cmake documentation

2019-01-16 Thread Martin Weber
Am Mittwoch, 16. Januar 2019, 18:24:09 CET schrieb Robert Maynard: > It would not be a problem as it relates to server load for you to > redirect to `https://cmake.org/cmake/help/latest/`, but as frodak17 a There would be no server load of users of the plugin. I plan to change the HTML-links in t

Re: [CMake] Additional traffic on cmake.org concerning cmake documentation

2019-01-16 Thread Martin Weber
Am Dienstag, 15. Januar 2019, 23:20:38 CET schrieb frodak17: > On Tue, Jan 15, 2019 at 3:54 PM Martin Weber > > wrote: > > Hi, > > > > So my question is: Are there any objections regarding the additional IP > > traffic on cmake.org imposed if CmakeEd-users would browse the online > > docs > > in

Re: [CMake] Additional traffic on cmake.org concerning cmake documentation

2019-01-16 Thread Robert Maynard via CMake
It would not be a problem as it relates to server load for you to redirect to `https://cmake.org/cmake/help/latest/`, but as frodak17 a better avenue would to investigate packaging the generated html files ( located in doc/cmake/html/ ). On Tue, Jan 15, 2019 at 2:54 PM Martin Weber wrote: > > Hi,

Re: [CMake] Additional traffic on cmake.org concerning cmake documentation

2019-01-15 Thread frodak17
On Tue, Jan 15, 2019 at 3:54 PM Martin Weber wrote: > Hi, > > So my question is: Are there any objections regarding the additional IP > traffic on cmake.org imposed if CmakeEd-users would browse the online > docs > instead of a local copy? Or would it be preferable to have a download-on- > demand

[CMake] Additional traffic on cmake.org concerning cmake documentation

2019-01-15 Thread Martin Weber
Hi, this is a question to the people at cmake.org. The CmakeEd plugin for eclipse [1],[2] currently comes with a copy of the cmake documentation. Unfortunately, it refers to a fairly outdated version of cmake (2.8.6) and the scripts to convert the docs to Eclipse help format do not longer work