#!/bin/bash

# CR-someday jdimino: maybe it's possible to get cmdliner to print that directly

set -e -o pipefail

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

for cmd in $CMDS; do
    cat <<EOF

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

(install
 (section man)
 (package dune)
 (files   dune-$cmd.1))
EOF
done

echo