+ #-------------------------------------------------------------------------
+ IF(WIN32)
+ SET(TTH_EXECUTABLE "${TTH_EXECUTABLE}/tth.exe")
+ ENDIF(WIN32)
+
+ #message("MACRO(USER_BUILD_HTML_DOC_FROM_LATEX TEX_FILE OUTPUT_REL_PATH) TTH_EXECUTABLE ${TTH_EXECUTABLE}")