diff options
author | Juergen Kahrs <Juergen.Kahrs@googlemail.com> | 2013-02-17 18:10:54 +0100 |
---|---|---|
committer | Juergen Kahrs <Juergen.Kahrs@googlemail.com> | 2013-02-17 18:10:54 +0100 |
commit | 203e7f84ea7f296b61d3bb80d1fc458a3fe5a58d (patch) | |
tree | c8a0a167419b23759bc4df98e67578df41db7c4d /doc/CMakeLists.txt | |
parent | 4db69d42558bae4bb3fb4eccc91671ee16ccfe08 (diff) | |
download | egawk-203e7f84ea7f296b61d3bb80d1fc458a3fe5a58d.tar.gz egawk-203e7f84ea7f296b61d3bb80d1fc458a3fe5a58d.tar.bz2 egawk-203e7f84ea7f296b61d3bb80d1fc458a3fe5a58d.zip |
Target make doc works again.
Diffstat (limited to 'doc/CMakeLists.txt')
-rw-r--r-- | doc/CMakeLists.txt | 26 |
1 files changed, 20 insertions, 6 deletions
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() + |