Re: [Zeek-Dev] docs.zeek.org

2019-01-17 Thread Jon Siwek
On Fri, Jan 11, 2019 at 10:20 AM Jon Siwek wrote: > (note that the "release" version of the manual still lives on > zeek.org as there's not yet any release that can be build on RTD). Both release and master versions are on RTD (docs.zeek.org) now and build from a new zeek-docs repo on GitHub.

Re: [Zeek-Dev] docs.zeek.org

2019-01-11 Thread Jon Siwek
On Fri, Jan 11, 2019 at 5:03 PM Robin Sommer wrote: > Would it be worth aiming to do that update with the next 2.6.x patch > release? Would be nice to get the modern look for the release version, > too. Not sure how worth it -- feel a bit odd/unmotivated preparing a pure-cosmetic feature for a

Re: [Zeek-Dev] docs.zeek.org

2019-01-11 Thread Robin Sommer
On Fri, Jan 11, 2019 at 10:20 -0600, Jonathan Siwek wrote: > Yes, those should already be set up, but let me know if I missed > anything (note that the "release" version of the manual still lives on > zeek.org as there's not yet any release that can be build on RTD). Would it be worth aiming

Re: [Zeek-Dev] docs.zeek.org

2019-01-11 Thread Jon Siwek
On Fri, Jan 11, 2019 at 9:04 AM Robin Sommer wrote: > > Can we keep old links into the documentation working through > redirects? Yes, those should already be set up, but let me know if I missed anything (note that the "release" version of the manual still lives on zeek.org as there's not yet

[Zeek-Dev] docs.zeek.org

2019-01-10 Thread Jon Siwek
FYI, https://docs.zeek.org is now live with the Zeek manual hosted by a Read the Docs custom domain (originally was hosted at www.zeek.org/sphinx-git). The broker and bro-pkg docs are also now available as sub-projects there: https://docs.zeek.org/projects/broker