diff options
author | Stefano Sabatini <stefasab@gmail.com> | 2013-10-24 23:14:55 +0400 |
---|---|---|
committer | Stefano Sabatini <stefasab@gmail.com> | 2013-10-24 23:19:52 +0400 |
commit | af1c5388501e80e6d92704bb70610998226e5e51 (patch) | |
tree | fa909dc83497d7a1105159df81741ea3ccee269e /doc | |
parent | 229042a52d5d718373b8a4a1905ea686d5b492e6 (diff) |
doc/Makefile: fix man pages uninstall path
Fix trac ticket #3054.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 7415899751..50a68b4e05 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -120,8 +120,8 @@ uninstall-html: $(RM) -r "$(DOCDIR)" uninstall-man: - $(RM) $(addprefix "$(MANDIR)/man1/",$(MANPAGES1)) - $(RM) $(addprefix "$(MANDIR)/man3/",$(MANPAGES3)) + $(RM) $(addprefix "$(MANDIR)/man1/",$(PROGS-yes:%=%.1) $(PROGS-yes:%=%-all.1) $(COMPONENTS-yes:%=%.1)) + $(RM) $(addprefix "$(MANDIR)/man3/",$(LIBRARIES-yes:%=%.3)) clean:: docclean |