err:
	@echo This Makefile should not be invoked directly. Just run make. It will call this Makefile where necessary.

platform_specific_install:
	cd $(mandir)/man3 && gunzip -f $(MANGZ)

platform_specific_uninstall:
	./mktool -u $(MAN) $(mandir)/man3