mirror of
https://github.com/zeek/zeek.git
synced 2025-10-12 19:48:20 +00:00
Add RTD pdf format
This commit is contained in:
parent
eb1e598460
commit
f98a0215d5
2 changed files with 3 additions and 3 deletions
|
@ -1,4 +1,4 @@
|
||||||
formats: []
|
formats: [pdf]
|
||||||
|
|
||||||
python:
|
python:
|
||||||
version: 3
|
version: 3
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
set(html_output_dir ${CMAKE_CURRENT_BINARY_DIR}/html)
|
set(html_output_dir ${CMAKE_CURRENT_BINARY_DIR}/html)
|
||||||
|
|
||||||
add_custom_target(bro-doc-html
|
add_custom_target(zeek-doc-html
|
||||||
COMMAND sphinx-build
|
COMMAND sphinx-build
|
||||||
-b html
|
-b html
|
||||||
-c ${CMAKE_CURRENT_SOURCE_DIR}
|
-c ${CMAKE_CURRENT_SOURCE_DIR}
|
||||||
|
@ -17,4 +17,4 @@ if (NOT TARGET doc)
|
||||||
add_custom_target(doc)
|
add_custom_target(doc)
|
||||||
endif ()
|
endif ()
|
||||||
|
|
||||||
add_dependencies(doc bro-doc-html)
|
add_dependencies(doc zeek-doc-html)
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue