Skip to content

Commit

Permalink
Update doc/man/opam-admin-topics.inc
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbou authored Oct 25, 2024
1 parent 6e602a4 commit 4d0039c
Showing 1 changed file with 0 additions and 10 deletions.
10 changes: 0 additions & 10 deletions doc/man/opam-admin-topics.inc
Original file line number Diff line number Diff line change
Expand Up @@ -60,16 +60,6 @@
(diff opam-admin-list.err %{dep:opam-admin-list.0})))
(package opam))

(rule
(with-stdout-to opam-admin-compare-versions.0 (echo "")))
(rule
(targets opam-admin-compare-versions.1 opam-admin-compare-versions.err)
(deps using-built-opam)
(action (progn (with-stderr-to opam-admin-compare-versions.err
(with-stdout-to opam-admin-compare-versions.1 (run %{bin:opam} admin compare-versions --help=groff)))
(diff opam-admin-compare-versions.err %{dep:opam-admin-compare-versions.0})))
(package opam))

(rule
(with-stdout-to opam-admin-check.0 (echo "")))
(rule
Expand Down

0 comments on commit 4d0039c

Please sign in to comment.