DOTS=../
include ../GNUmakefile.inc

all clean:
	@true

install:
	$(DOTS)installman $(DESTDIR)$(MANDIR)
