Regenerate spicy docs

zeek · Jan 24, 2025 · 743ee50 · 743ee50
1 parent c78d4a2
commit 743ee50
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/devel/spicy/autogen/init-bare.zeek b/devel/spicy/autogen/init-bare.zeek
@@ -23,7 +23,7 @@ export {
 # doc-options-end
 
 # doc-types-start
-    ## Result type for ``Spicy::resource_usage()``. The values reflect resource
+    ## Result type for :zeek:see:`Spicy::resource_usage`. The values reflect resource
     ## usage as reported by the Spicy runtime system.
     type ResourceUsage: record {
         user_time : interval;           ##< user CPU time of the Zeek process