diff options
| author | Juergen Kahrs <Juergen.Kahrs@googlemail.com> | 2013-02-08 21:53:18 +0100 |
|---|---|---|
| committer | Juergen Kahrs <Juergen.Kahrs@googlemail.com> | 2013-02-08 21:53:18 +0100 |
| commit | f672202ff2ec279e5c3260e8810a4ccc213a5876 (patch) | |
| tree | 11e02fa12e9253c947259e30207eb3009b2a794f | |
| parent | fa30c4248c55cbce828bd9f31f5d45ca842464b3 (diff) | |
| download | egawk-f672202ff2ec279e5c3260e8810a4ccc213a5876.tar.gz egawk-f672202ff2ec279e5c3260e8810a4ccc213a5876.tar.bz2 egawk-f672202ff2ec279e5c3260e8810a4ccc213a5876.zip | |
New target 'doc' generates .dvi .ps and .pdf files. This is a lazy approach, if the target files already exist they will be overwritten.
| -rw-r--r-- | doc/CMakeLists.txt | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt index a18bfffe..7baf5ad1 100644 --- a/doc/CMakeLists.txt +++ b/doc/CMakeLists.txt @@ -24,3 +24,18 @@ ## process this file with CMake to produce Makefile +add_custom_target(doc) +add_custom_command( + TARGET doc + WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR} + 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 +) + |