aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/intro.cli3
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/intro.cli b/doc/intro.cli
index d0719c4..b0e2cdd 100644
--- a/doc/intro.cli
+++ b/doc/intro.cli
@@ -1016,9 +1016,6 @@ $ b '{clean disfigure}(/tmp/hello-gcc5-release/hello2/)'
rm /tmp/hello-gcc5-release/hello2/exe{hello}
rm /tmp/hello-gcc5-release/hello2/obje{hello}
rm /tmp/hello-gcc5-release/hello2/build/config.build
-rm /tmp/hello-gcc5-release/hello2/build/bootstrap/src-root.build
-rmdir /tmp/hello-gcc5-release/hello2/build/bootstrap/
-rmdir /tmp/hello-gcc5-release/hello2/build/
rmdir /tmp/hello-gcc5-release/hello2/
\