Skip to content

Commit

Permalink
Add back dune test manpage
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <[email protected]>
  • Loading branch information
rgrinberg committed Feb 3, 2021
1 parent 9fc7faa commit bc9dc81
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 10 deletions.
18 changes: 9 additions & 9 deletions doc/dune.inc
Original file line number Diff line number Diff line change
@@ -1,4 +1,13 @@

(rule
(with-stdout-to dune-test.1
(run dune test --help=groff)))

(install
(section man)
(package dune)
(files dune-test.1))

(rule
(with-stdout-to dune-build.1
(run dune build --help=groff)))
Expand Down Expand Up @@ -206,12 +215,3 @@
(package dune)
(files dune-utop.1))

(rule
(with-stdout-to dune-test.1
(run dune test --help=groff)))

(install
(section man)
(package dune)
(files dune-test.1))

2 changes: 1 addition & 1 deletion doc/update-jbuild.sh
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
set -e -o pipefail

CMDS=$(dune --help=plain | \
sed -n '/COMMANDS/,/OPTIONS/p' | sed -En 's/^ ([a-z-]+) ?.*/\1/p')
sed -n '/COMMAND ALIASES/,/OPTIONS/p' | sed -En 's/^ ([a-z-]+) ?.*/\1/p')

for cmd in $CMDS; do
cat <<EOF
Expand Down

0 comments on commit bc9dc81

Please sign in to comment.