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
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
On Fri, Jan 4, 2019 at 4:05 PM Jon Siwek wrote:
> I'm still cool with documenting an optional "credits" field for the
> package metadata
I went ahead and documented it [1] as I was updating other things
there. Feel free to PR any language tweaks.
- Jon
[1]
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