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
       '';
 
 }