+ $(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)/