1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
set(DOC_OPTIONS --quiet)
set(TEX_CLEAN_EXTENSIONS aux blg idx ilg ind log out toc)
# Conversion programs from various formats to LaTeX
set(PLDOC2TEX_STATE ${CMAKE_BINARY_DIR}/man/pldoc2tex)
set(RUNTEX ${SWIPL_ROOT}/man/runtex ${DOC_OPTIONS})
set(LATEX2HTML ${SWIPL_BUILD_LIBRARY}/latex2html/latex2html.pl -- ${DOC_OPTIONS})
set(DOC2TEX ${SWIPL_ROOT}/man/doc2tex.pl)
set(DOC2TEX_DEPENDS core prolog_home ${SWIPL_ROOT}/man/doc2tex.pl)
set(PLDOC2TEX -x ${CMAKE_BINARY_DIR}/man/pldoc2tex --)
set(PLDOC2TEX_DEPENDS pldoc2tex_state prolog_home core pldoc)
set(MAN_INDEX "${SWIPL_BUILD_HOME}/doc/manindex.db")
# tex_byproducts(base var)
# Fill var with a list of all LaTeX byproducts when emitting ${base}
function(tex_byproducts doc out)
set(list)
foreach(e ${TEX_CLEAN_EXTENSIONS})
set(list ${list} ${doc}.${e})
endforeach()
set(${out} ${list} PARENT_SCOPE)
endfunction()
|
