X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2FMakefile;h=c54475713a9031a9579b2d4fa86f0f1ba7200478;hb=c2a67c225e01fc11b1ca479f45a159df2890bd8d;hp=e61f930ca0d024ba5dfcc8e8abaf3ab35672488e;hpb=c50d613d8e878dc170f50020811630368c49eb97;p=helm.git diff --git a/helm/www/matita/Makefile b/helm/www/matita/Makefile index e61f930ca..c54475713 100644 --- a/helm/www/matita/Makefile +++ b/helm/www/matita/Makefile @@ -2,6 +2,10 @@ # should be a checked out version of sofware/matita/help/C/ (or a symlink to it) DOCS_SRC_DIR = docs-src DOCS_DEST_DIR = $(CURDIR)/docs/manual +# should be a checked out and compiled with -execcomments of +# sofware/matita/nlibrary/topology/igft.ma +TUTORIAL_SRC_DIR = tutorial-src +TUTORIAL_DEST_DIR = $(CURDIR)/docs/tutorial MARGIN_X=30 MARGIN_Y=206 @@ -15,6 +19,8 @@ all: @echo "Nothing to do per default, interesting targets:" @echo @echo " manual # import the (xhtml version of the) user manual" + @echo " tutorial # import the html version of the topology tutorial" + @echo " library # import the scripts building the library" @echo " images # build images for the splash screen" @echo " papers # build the papers page from xml/papers.xml" @echo @@ -22,13 +28,34 @@ all: clean: manual: manual-stamp -manual-stamp: $(DOCS_SRC_DIR)/*.xml $(DOCS_SRC_DIR)/*.xsl +manual-stamp: $(DOCS_SRC_DIR)/*.xml $(DOCS_SRC_DIR)/xsl/* $(MAKE) -C $(DOCS_SRC_DIR)/ html rm -rf $(DOCS_DEST_DIR)/* test -d $(DOCS_DEST_DIR)/ || mkdir -p $(DOCS_DEST_DIR)/ - $(MAKE) -C $(DOCS_SRC_DIR) install DESTDIR=$(DOCS_DEST_DIR)/ + $(MAKE) -C $(DOCS_SRC_DIR) install-html DESTDIR=$(DOCS_DEST_DIR)/ touch $@ +tutorial: tutorial-stamp +tutorial-stamp: $(TUTORIAL_SRC_DIR)/igft.html + rm -rf $(TUTORIAL_DEST_DIR)/* + test -d $(TUTORIAL_DEST_DIR)/ || mkdir -p $(TUTORIAL_DEST_DIR)/ + cp $(TUTORIAL_SRC_DIR)/igft.html $(TUTORIAL_DEST_DIR)/ + cp $(TUTORIAL_SRC_DIR)/igft.pdf $(TUTORIAL_DEST_DIR)/ + cp $(TUTORIAL_SRC_DIR)/*.png $(TUTORIAL_DEST_DIR)/ + cp $(TUTORIAL_SRC_DIR)/*.svg $(TUTORIAL_DEST_DIR)/ + cp $(TUTORIAL_SRC_DIR)/*.css $(TUTORIAL_DEST_DIR)/ + cp $(TUTORIAL_SRC_DIR)/*.js $(TUTORIAL_DEST_DIR)/ + touch $@ + +.PHONY: library +library: + if [ -d library/ ] ; then \ + svn update library/ ; \ + else \ + echo "Can't find the scripts, check them out in library/" ; \ + exit 1 ; \ + fi + papers: papers.shtml papers.shtml: xsl/papers2xhtml.xsl xml/papers.xml xsltproc $^ > $@