No OneTemporary
Actions

Size

657 B

Subscribers

None

View Options

	diff --git a/docs/Makefile.local b/docs/Makefile.local
	index 0cf14f3..8c53a44 100644
	--- a/docs/Makefile.local
	+++ b/docs/Makefile.local
	@@ -1,22 +1,24 @@
	JAVA_DIR = ../java

	sphinx/html: images
	-sphinx/clean: clean-images clean-javadoc
	-assets: images javadoc
	+# sphinx/clean: clean-images clean-javadoc
	+sphinx/clean: clean-images
	+# assets: images javadoc
	+assets: images

	images:
	make -C images/
	clean-images:
	make -C images/ clean

	javadoc:
	mvn -f $(JAVA_DIR)/pom.xml javadoc:javadoc
	clean-javadoc:
	mvn -f $(JAVA_DIR)/pom.xml clean

	.PHONY: images clean-images javadoc clean-javadoc


	# Local Variables:
	# mode: makefile
	# End: