mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 14:48:21 +00:00
Omission of bro.init from doc generation fixed.
This commit is contained in:
parent
5c141e51d6
commit
ca2582d325
2 changed files with 2 additions and 0 deletions
|
@ -13,6 +13,7 @@
|
||||||
set(psd ${PROJECT_SOURCE_DIR}/policy)
|
set(psd ${PROJECT_SOURCE_DIR}/policy)
|
||||||
|
|
||||||
rest_target(${CMAKE_CURRENT_SOURCE_DIR} example.bro internal)
|
rest_target(${CMAKE_CURRENT_SOURCE_DIR} example.bro internal)
|
||||||
|
rest_target(${psd} bro.init internal)
|
||||||
|
|
||||||
rest_target(${CMAKE_BINARY_DIR}/src bro.bif.bro)
|
rest_target(${CMAKE_BINARY_DIR}/src bro.bif.bro)
|
||||||
rest_target(${CMAKE_BINARY_DIR}/src const.bif.bro)
|
rest_target(${CMAKE_BINARY_DIR}/src const.bif.bro)
|
||||||
|
|
|
@ -30,6 +30,7 @@ statictext="\
|
||||||
set(psd \${PROJECT_SOURCE_DIR}/policy)
|
set(psd \${PROJECT_SOURCE_DIR}/policy)
|
||||||
|
|
||||||
rest_target(\${CMAKE_CURRENT_SOURCE_DIR} example.bro internal)
|
rest_target(\${CMAKE_CURRENT_SOURCE_DIR} example.bro internal)
|
||||||
|
rest_target(\${psd} bro.init internal)
|
||||||
"
|
"
|
||||||
|
|
||||||
if [[ $# -ge 1 ]]; then
|
if [[ $# -ge 1 ]]; then
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue