1 files changed, 82 insertions, 0 deletions
diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
new file mode 100644
index 00000000..86ed9f12
--- /dev/null
+++ b/doc/CMakeLists.txt
@@ -0,0 +1,82 @@
+#
+# doc/CMakeLists.txt --- CMake input file for gawk
+#
+# Copyright (C) 2013
+# the Free Software Foundation, Inc.
+#
+# This file is part of GAWK, the GNU implementation of the
+# AWK Programming Language.
+#
+# GAWK is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# GAWK is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA
+#
+
+## process this file with CMake to produce Makefile
+
+if (LATEX_COMPILER)
+  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
+  )
+
+  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)
+      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.ps gawk.pdf
+        COMMAND ps2pdf gawkinet.ps gawkinet.pdf
+      )
+    else()
+      message(WARNING "Found no PS2PDF_CONVERTER; no doc will be generated")
+    endif()
+  else()
+    message(WARNING "Found no DVIPS_CONVERTER; no doc will be generated")
+  endif()
+else()
+  message(WARNING "Found no LATEX_COMPILER; no doc will be generated")
+endif()
+
+if (EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/gawk.1.pdf)
+  install(FILES ${CMAKE_CURRENT_SOURCE_DIR}/gawk.1.pdf DESTINATION doc)
+else()
+  message(STATUS "No file gawk.1.pdf will be built into package")
+endif()
+if (EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/igawk.1.pdf)
+  install(FILES ${CMAKE_CURRENT_SOURCE_DIR}/igawk.1.pdf DESTINATION doc)
+else()
+  message(STATUS "No file igawk.1.pdf will be built into package")
+endif()
+if (EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/gawk.pdf)
+  install(FILES ${CMAKE_CURRENT_SOURCE_DIR}/gawk.pdf DESTINATION doc)
+else()
+  message(STATUS "No file gawk.pdf will be built into package")
+endif()
+if (EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/gawkinet.pdf)
+  install(FILES ${CMAKE_CURRENT_SOURCE_DIR}/gawkinet.pdf DESTINATION doc)
+else()
+  message(STATUS "No file gawkinet.pdf will be built into package")
+endif()