doc: commit promoted doc/dune.inc (#8008)

This is a leftover from #7985. Signed-off-by: Etienne Millon <me@emillon.org>
ocaml · Jun 19, 2023 · 89c63fa · 89c63fa
1 parent 30340e6
commit 89c63fa
Showing 1 changed file with 18 additions and 9 deletions.
diff --git 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)))