Build and install man page by default (#705)

Fixes #684.

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index fb0f316ea6a08fac6930881767e653424b700674..b5c9f24ef0d8c68b93d23d81f21aec45d1f876bc 100644 (file)
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -58,7 +58,11 @@ else()
       COMMAND ${A2X_EXE} --doctype manpage --format manpage MANUAL.xml
       MAIN_DEPENDENCY MANUAL.xml
     )
-    add_custom_target(doc-man-page DEPENDS ccache.1)
+    add_custom_target(doc-man-page ALL DEPENDS ccache.1)
+    install(
+      FILES "${CMAKE_CURRENT_BINARY_DIR}/ccache.1"
+      DESTINATION "${CMAKE_INSTALL_MANDIR}/man1"
+    )
     set(doc_files "${doc_files}" ccache.1)
   endif()