aboutsummaryrefslogtreecommitdiff
path: root/doc/cli.sh
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2017-05-22 23:31:10 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2017-05-24 16:12:02 +0300
commit94b04d166c1041028571222b9931121b0f7dfded (patch)
tree33d79d968cfd4a7e0977cb9686ae9ff4abfd52c4 /doc/cli.sh
parent28de800a7a38ed781b8f04f8f380d65b2d79ec14 (diff)
Implement brep-clean
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