aboutsummaryrefslogtreecommitdiff
path: root/doc/cli.sh
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2020-03-18 22:17:49 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2020-03-27 17:28:44 +0300
commit35359f038f571dc46de3d14af72a2bc911fb0a24 (patch)
treede3e89d678e78b9efc4d395274fd7ccc68f4a213 /doc/cli.sh
parent8ad672cc7211952716ffe1fbf76c179b4f1149e3 (diff)
Implement brep-monitor
Diffstat (limited to 'doc/cli.sh')
-rwxr-xr-xdoc/cli.sh2
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