1 files changed, 35 insertions, 0 deletions
diff --git a/doc/cli.sh b/doc/cli.sh
index 7ab1db6..2a5136d 100755
--- a/doc/cli.sh
+++ b/doc/cli.sh
@@ -22,6 +22,41 @@ while [ $# -gt 0 ]; do
   esac
 done
 
+function compile ()
+{
+  local n=$1; shift
+
+  # Use a bash array to handle empty arguments.
+  #
+  local o=()
+  while [ $# -gt 0 ]; do
+    o=("${o[@]}" "$1")
+    shift
+  done
+
+  cli -I .. -v project="bbot" -v version="$version" -v date="$date" \
+--include-base-last "${o[@]}" --generate-html --html-prologue-file \
+man-prologue.xhtml --html-epilogue-file man-epilogue.xhtml --html-suffix \
+.xhtml ../$n.cli
+
+  cli -I .. -v project="bbot" -v version="$version" -v date="$date" \
+--include-base-last "${o[@]}" --generate-man --man-prologue-file \
+man-prologue.1 --man-epilogue-file man-epilogue.1 --man-suffix .1 \
+../$n.cli
+}
+
+o="--output-prefix bbot-"
+
+# A few special cases.
+#
+#compile "bbot" $o --output-prefix ""
+
+pages="bbot/agent bbot/worker"
+
+for p in $pages; do
+  compile $p $o
+done
+
 # Manuals.
 #