@@ -108,7 +108,7 @@ install-doc: $(doc_all)
108uninstall-doc:
108uninstall-doc:
109 -for f in $(doc_all); do rm -f $(DOCPATH)/$$f; done
109 -for f in $(doc_all); do rm -f $(DOCPATH)/$$f; done
110 -for f in $(man_all); do rm -f $(MANPATH)/$$f; done
110 -for f in $(man_all); do rm -f $(MANPATH)/$$f; done
111− -rmdir --ignore-fail-on-non-empty $(DOCPATH)
111+ -rmdir $(DOCPATH)
113# Handle program installation manually (due to the deficiencies in Cabal).
113# Handle program installation manually (due to the deficiencies in Cabal).
114.PHONY: install uninstall
114.PHONY: install uninstall