diff options
| author | Daniel Baumann <daniel.baumann@open-infrastructure.net> | 2017-01-27 18:13:03 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@open-infrastructure.net> | 2017-01-27 18:13:03 +0000 |
| commit | 8128d8d583ce2ebd1b6cac74fe64759803c87e8f (patch) | |
| tree | bca6058d2ff426b0c651aa710a38953d1574c3d8 /Makefile | |
| parent | Completing uninstall target in makefile. (diff) | |
| download | service-tools-8128d8d583ce2ebd1b6cac74fe64759803c87e8f.tar.xz service-tools-8128d8d583ce2ebd1b6cac74fe64759803c87e8f.zip | |
Shortening manpage parts in uninstall target in makefile.
Signed-off-by: Daniel Baumann <daniel.baumann@open-infrastructure.net>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
@@ -83,10 +83,7 @@ uninstall: do \ for FILE in share/man/*.$${SECTION}; \ do \ - if [ -e "$${FILE}" ]; \ - then \ - rm -f $(DESTDIR)/usr/share/man/man$${SECTION}/$$(basename $${FILE}); \ - fi; \ + rm -f $(DESTDIR)/usr/share/man/man$${SECTION}/$$(basename $${FILE}); \ done; \ rmdir --ignore-fail-on-non-empty --parents $(DESTDIR)/usr/share/man/man$${SECTION} || true; \ done |