Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 14:48:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Exclude script from documentation that interferes with other locations.

Browse source
This commit is contained in:
Robin Sommer 2023-09-18 10:49:39 +02:00
parent a9de8eec21
commit 94de54ee74
No known key found for this signature in database
GPG key ID: D8187293B3FFE5D0
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
scripts/zeekygen/__load__.zeek
View file

@ -14,7 +14,8 @@
@load policy/protocols/conn/speculative-service.zeek @load policy/protocols/conn/speculative-service.zeek
@if ( have_spicy() ) @if ( have_spicy() )
@load frameworks/spicy/record-spicy-batch.zeek # Loading this messes up documentation of some elements defined elsewhere.
# @load frameworks/spicy/record-spicy-batch.zeek
@load frameworks/spicy/resource-usage.zeek @load frameworks/spicy/resource-usage.zeek
@endif @endif