1 files changed, 1 insertions, 1 deletions
diff --git a/doc/cli.sh b/doc/cli.sh
index b8c4c00..42303dc 100755
--- a/doc/cli.sh
+++ b/doc/cli.sh
@@ -71,7 +71,7 @@ o="--output-prefix brep-"
 #
 #compile "brep" $o --output-prefix ""
 
-pages="clean/clean load/load migrate/migrate"
+pages="clean/clean load/load migrate/migrate monitor/monitor"
 
 for p in $pages; do
   compile $p $o