diff options
| author | bors <bors@rust-lang.org> | 2013-07-14 02:31:26 -0700 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2013-07-14 02:31:26 -0700 |
| commit | c3e3090ac2c8e549512ef3fd933bd27827c44146 (patch) | |
| tree | 7745ba5bcfe1e77e8dffb52f1a651df2304a80b2 | |
| parent | 0ef837519d6cac6ccf1bd984b0e7b7ab2b105d47 (diff) | |
| parent | f2ecf18a8e1b1167bb20d76774496489aa7284e6 (diff) | |
| download | rust-c3e3090ac2c8e549512ef3fd933bd27827c44146.tar.gz rust-c3e3090ac2c8e549512ef3fd933bd27827c44146.zip | |
auto merge of #7778 : tedhorst/rust/manuninstall, r=cmr
The new man pages: rust.1, rustdoc.1, rusti.1, and rustpkg.1 were not being removed with make uninstall.
| -rw-r--r-- | mk/install.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mk/install.mk b/mk/install.mk index 2eb2ad47db4..fbd01e731bd 100644 --- a/mk/install.mk +++ b/mk/install.mk @@ -183,7 +183,11 @@ uninstall: do rm -f $$i ; \ done $(Q)rm -Rf $(PHL)/rustc + $(Q)rm -f $(PREFIX_ROOT)/share/man/man1/rust.1 $(Q)rm -f $(PREFIX_ROOT)/share/man/man1/rustc.1 + $(Q)rm -f $(PREFIX_ROOT)/share/man/man1/rustdoc.1 + $(Q)rm -f $(PREFIX_ROOT)/share/man/man1/rusti.1 + $(Q)rm -f $(PREFIX_ROOT)/share/man/man1/rustpkg.1 # target platform specific variables # for arm-linux-androidabi |