include ../../config

ZLIBS=
PROG=coq-tex
PROGCMO=coq-tex.cmo 
LINK=-custom str.cma $(WITH_STR)
OPTLINK=str.cmxa $(WITH_STR)

include ../Makefile.tools

install-manpage:
	$(INSTALL) -d coq-tex.1 $(MANDIR)/man1

include .depend


