diff options
| -rw-r--r-- | CMakeLists.txt | 2 | ||||
| -rw-r--r-- | doc/CMakeLists.txt | 26 |
2 files changed, 21 insertions, 7 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 80c3d501..89d39207 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -89,7 +89,7 @@ add_subdirectory(extension) if(NOT ${CMAKE_CROSSCOMPILING} STREQUAL "TRUE") enable_testing() add_subdirectory(test) - if (${LATEX_COMPILER}) + if (LATEX_COMPILER) add_subdirectory(doc) endif() endif() diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt index 7baf5ad1..478b1c11 100644 --- a/doc/CMakeLists.txt +++ b/doc/CMakeLists.txt @@ -31,11 +31,25 @@ add_custom_command( COMMAND texi2dvi --clean gawkinet.texi gawk.texi COMMAND groff -man gawk.1 > gawk.1.ps COMMAND groff -man igawk.1 > igawk.1.ps - COMMAND ps2pdf gawk.1.ps gawk.1.pdf - COMMAND ps2pdf igawk.1.ps igawk.1.pdf - COMMAND dvips -o gawk.ps gawk.dvi - COMMAND dvips -o gawkinet.ps gawkinet.dvi - COMMAND ps2pdf gawk.1.ps gawk.1.pdf - COMMAND ps2pdf gawkinet.ps gawkinet.pdf ) +if (DVIPS_CONVERTER) + add_custom_command( + TARGET doc + WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR} + COMMAND dvips -o gawk.ps gawk.dvi + COMMAND dvips -o gawkinet.ps gawkinet.dvi + ) + if (PS2PDF_CONVERTER) + message(STATUS "Converting .ps to .pdf") + add_custom_command( + TARGET doc + WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR} + COMMAND ps2pdf gawk.1.ps gawk.1.pdf + COMMAND ps2pdf igawk.1.ps igawk.1.pdf + COMMAND ps2pdf gawk.1.ps gawk.1.pdf + COMMAND ps2pdf gawkinet.ps gawkinet.pdf + ) + endif() +endif() + |