diff --git a/doc/dune.inc b/doc/dune.inc
index 62dc3bd1d2c..9392d353b36 100644
--- a/doc/dune.inc
+++ b/doc/dune.inc
@@ -1,4 +1,13 @@
 
+(rule
+ (with-stdout-to dune-printenv.1
+  (run dune printenv --help=groff)))
+
+(install
+ (section man)
+ (package dune)
+ (files   dune-printenv.1))
+
 (rule
  (with-stdout-to dune-promote.1
   (run dune promote --help=groff)))
@@ -179,15 +188,6 @@
  (package dune)
  (files   dune-pkg.1))
 
-(rule
- (with-stdout-to dune-printenv.1
-  (run dune printenv --help=groff)))
-
-(install
- (section man)
- (package dune)
- (files   dune-printenv.1))
-
 (rule
  (with-stdout-to dune-promotion.1
   (run dune promotion --help=groff)))
@@ -224,6 +224,15 @@
  (package dune)
  (files   dune-runtest.1))
 
+(rule
+ (with-stdout-to dune-show.1
+  (run dune show --help=groff)))
+
+(install
+ (section man)
+ (package dune)
+ (files   dune-show.1))
+
 (rule
  (with-stdout-to dune-shutdown.1
   (run dune shutdown --help=groff)))