include ../../config

ZLIBS=
LINK=-custom str.cma unix.cma $(WITH_STR) $(OSDEPLIBS)
OPTLINK=str.cmxa unix.cmxa $(WITH_STR) $(OSDEPLIBS)

all: $(COQTOOLS)latex $(COQTOOLS)html

include ../Makefile.tools

$(COQTOOLS)html:
	$(MAKE) PROG=coq2html PROGCMO="lexer.cmo filter.cmo coq2html.cmo" \
		$(COQTOOLS)
	rm -f $(COQTOOLS)
	echo > $(COQTOOLS)html

$(COQTOOLS)latex:
	case $(OSTYPE) in \
	  Unix) $(MAKE) PROG=coq2latex \
	  PROGCMO="lexer.cmo filter.cmo tex.cmo coq2latex.cmo" $(COQTOOLS); \
	esac
	rm -f $(COQTOOLS)
	echo > $(COQTOOLS)latex

archclean: localarchclean

localarchclean:
	rm -f $(COQTOOLS) $(COQTOOLS)html $(COQTOOLS)latex coq2latex coq2html

install-manpage:
	$(INSTALL) -d coq2latex.1 coq2html.1 $(MANDIR)/man1

include .depend

