@echo "Nothing to do per default, interesting targets:"
@echo
@echo " manual # import the (xhtml version of the) user manual"
+ @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
$(MAKE) -C $(DOCS_SRC_DIR) install DESTDIR=$(DOCS_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 $^ > $@