From c97065e8f496be4d36ffe020fba19c6be4c2a04e Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Tue, 18 Feb 2020 08:02:23 +0100
Subject: [PATCH] docs: gzip manpages

---
 CMakeConfig.txt     |  5 ++++-
 docs/CMakeLists.txt | 21 +++++++++++++++++++--
 2 files changed, 23 insertions(+), 3 deletions(-)

diff --git a/CMakeConfig.txt b/CMakeConfig.txt
index 5f1b47ab..3acae1cb 100644
--- a/CMakeConfig.txt
+++ b/CMakeConfig.txt
@@ -37,7 +37,10 @@ set(ENABLE_MEMASLAP ON
 set(ENABLE_DTRACE OFF
     CACHE BOOL "enable dtrace support")
 
-# sphinx
+# docs / sphinx
+
+set(GZIP_MAN ON
+    CACHE BOOL "gzip manpages")
 
 set(SPHINX_OPTIONS ""
     CACHE STRING "additional sphinx-build command line options")
diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt
index 269fae04..07709dd0 100644
--- a/docs/CMakeLists.txt
+++ b/docs/CMakeLists.txt
@@ -55,12 +55,29 @@ else()
             BYPRODUCTS ${SPHINX_MAN_DIR}
             )
 
+    set(MAN_EXT "")
+    if(GZIP_MAN)
+        find_program(PIGZ pigz)
+        if(PIGZ)
+            set(GZIP ${PIGZ})
+        else()
+            find_package(UnixCommands)
+        endif()
+        if(GZIP)
+            set(MAN_EXT ".gz")
+            add_custom_target(man_gz ALL
+                    ${GZIP} -rkf ${SPHINX_MAN_DIR}
+                    DEPENDS man
+                    )
+        endif()
+    endif()
+
     install(DIRECTORY ${SPHINX_MAN_DIR}/
             DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
-            FILES_MATCHING PATTERN *.1
+            FILES_MATCHING PATTERN *.1${MAN_EXT}
             )
     install(DIRECTORY ${SPHINX_MAN_DIR}/
             DESTINATION ${CMAKE_INSTALL_MANDIR}/man3
-            FILES_MATCHING PATTERN *.3
+            FILES_MATCHING PATTERN *.3${MAN_EXT}
             )
 endif()
-- 
2.30.2