From 97b9708f76807bdfdb476e1b707b42a0701ea9c7 Mon Sep 17 00:00:00 2001
From: Anton Mosich <anton@mosich.at>
Date: Sun, 22 Jun 2025 13:50:31 +0200
Subject: [PATCH] nixos/documentation: compress configuration.nix.5

This saves a few MB of disk space (8.4 -> 1.2 MB).
---
 nixos/doc/manual/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nixos/doc/manual/default.nix b/nixos/doc/manual/default.nix
index 965653d0dd77..cd452d761b9c 100644
--- a/nixos/doc/manual/default.nix
+++ b/nixos/doc/manual/default.nix
@@ -245,6 +245,7 @@ rec {
           --revision ${escapeShellArg revision} \
           ${optionsJSON}/${common.outputPath}/options.json \
           $out/share/man/man5/configuration.nix.5
+        compressManPages $out
       '';
 
 }