https://gitorious.org/ocamlp3l/ocamlp3l_cvs.git
Revision ad58ae426e7e9200530d18bf439d02657503426c authored by fclement on 23 November 2010, 11:33:06 UTC, committed by fclement on 23 November 2010, 11:33:06 UTC
1 parent 46f23e8
Tip revision: ad58ae426e7e9200530d18bf439d02657503426c authored by fclement on 23 November 2010, 11:33:06 UTC
Ignore all generated files.
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)
Computing file changes ...