# Makefile for man pages

include ../../config

MAN=coqc.1 coqtop.1 coqmktop.1

view:
	$(MKDIR) man1
	cp *.1 ./man1

vcoqc:
	man -M . coqc.1

vcoqtop:
	man -M . coqtop.1

vcoqmktop:
	man -M . coqmktop.1

clean:
	rm -rf ./man1

install-manpages:
	$(INSTALL) -d $(MAN) $(MANDIR)/man1

