https://gitorious.org/ocamlp3l/ocamlp3l_cvs.git
Raw File
Tip revision: ad58ae426e7e9200530d18bf439d02657503426c authored by fclement on 23 November 2010, 11:33 UTC
Ignore all generated files.
Tip revision: ad58ae4
Makefile
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)
back to top