Docker-in-Docker (DinD) capabilities of public runners deactivated. More info

Commit ee3cd87d authored by Pierre Aubert's avatar Pierre Aubert
Browse files

Update doc latex

parent 49e62524
Pipeline #97082 passed with stages
in 8 minutes and 15 seconds
......@@ -7,6 +7,8 @@ set(MAIN_TEX ${CMAKE_CURRENT_SOURCE_DIR}/parserGenerator.tex)
# phoenix_calltex2html(create_platex_doc ${MAIN_TEX} ${listTex})
set(PHOENIX_TEX_2_HTML_EXECUTABLE phoenix_tex2html)
add_custom_command(
OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/index.html
COMMENT "latex documentation generation"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment