aboutsummaryrefslogtreecommitdiff
path: root/doc/cli.sh
diff options
context:
space:
mode:
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 4304138..6d3d09c 100755
--- a/doc/cli.sh
+++ b/doc/cli.sh
@@ -53,7 +53,7 @@ o="--output-prefix brep-"
#
#compile "brep" $o --output-prefix ""
-pages="load/load migrate/migrate"
+pages="clean/clean load/load migrate/migrate"
for p in $pages; do
compile $p $o