ROOTDIR = .
MAKEFILESDIR = $(ROOTDIR)

include $(MAKEFILESDIR)/Makefile.config

# The list of TEX source files
TEXSRCS = UserManual.tex

# The list of HTML source files
HTMLCHTMLSRCS = copyright-fra.html copyright-eng.html \
		index.html fra.html eng.html

# The list of MAN source files
#HTMLCMANSRCS = ocamlp3l.man

TOPDIR = ..
DOCDIR = $(TOPDIR)/doc

USELESSFILES = \
  Includes *.html *.ml *.tex *.bib img papers/*.html \
  papers/hlpp05/*.tex papers/hlpp05/*.bib papers/hlpp05/*.eps \
  papers/hlpp05/*.fig

include $(MAKEFILESDIR)/Makefile.common

.PHONY: docdir

UserManual.dvi: env.tex Running.tex UserManual.bbl

copyright-fra.htm: $(INCDIR)/copyright-fra.htm
	$(CP) $(INCDIR)/$@ ./$@

copyright-eng.htm: $(INCDIR)/copyright-eng.htm
	$(CP) $(INCDIR)/$@ ./$@

clean-all::
	$(RM) $(INCDIR)/*.htm

all clean clean-all::
	(cd papers; $(MAKE) $@)

docdir: all
	$(RM) $(DOCDIR)
	$(MKDIR) $(DOCDIR)
	$(CP) * $(DOCDIR)
	find $(DOCDIR) -name CVS | xargs $(RM)
	find $(DOCDIR) -name "*cvsignore*" | xargs $(RM)
	find $(DOCDIR) -name "banner*" | xargs $(RM)
	find $(DOCDIR) -name ".depend*" | xargs $(RM)
	cd $(DOCDIR); $(MAKE) clean; \
	  $(RM) $(USELESSFILES)
	find $(DOCDIR) -name "*akefile*" | xargs $(RM)
	$(CP) $(DOCDIR)/index.htm $(DOCDIR)/index.html
	$(CP) $(TOPDIR)/README $(DOCDIR)
	$(CP) $(TOPDIR)/LICENSE $(DOCDIR)
	$(CP) $(TOPDIR)/INSTALL $(DOCDIR)
	$(CP) $(TOPDIR)/COPYING $(DOCDIR)