Update doc latex

.gitlab-ci.yml

@@ -82,7 +82,7 @@ Doc:
         -DDOC_MODE=yes
     - make all
     - make install
-    - make doc create_platex_doc
+    - make doc
     - scp -r doc/platex/* ../public
     - scp -r doc/html/* ../public/html
     artifacts:

doc/platex/CMakeLists.txt

@@ -5,6 +5,16 @@ cmake_minimum_required(VERSION 3.0)
 file(GLOB listTex "${CMAKE_CURRENT_SOURCE_DIR}/*.tex")
 set(MAIN_TEX ${CMAKE_CURRENT_SOURCE_DIR}/parserGenerator.tex)
 
-phoenix_calltex2html(create_platex_doc ${MAIN_TEX} ${listTex})
+# phoenix_calltex2html(create_platex_doc ${MAIN_TEX} ${listTex})
+
+add_custom_command(
+	OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/index.html
+	COMMENT "latex documentation generation"
+	COMMAND ${PHOENIX_TEX_2_HTML_EXECUTABLE} -i ${CMAKE_CURRENT_SOURCE_DIR}/parserGenerator.tex -p ${CMAKE_INSTALL_PREFIX}
+	DEPENDS ${listTex}
+	WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}
+)
+add_custom_target(create_platex_doc DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/index.html)
+add_dependencies(doc create_platex_doc)