diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-09-04 17:37:31 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-09-04 17:37:31 +0200 |
| commit | d79a927a12f548bda54602ee7a48f221bce88a8b (patch) | |
| tree | d36fc520441f9fb7f984050fa753494a2fc05b93 | |
| parent | 2aa72e2e0e2551d986baeae7d57d628e58a61c39 (diff) | |
Update disfigure output in intro
| -rw-r--r-- | doc/intro.cli | 3 |
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/ \ |