diff --git a/docs/Makefile.local b/docs/Makefile.local index fbd18f2..49362c8 100644 --- a/docs/Makefile.local +++ b/docs/Makefile.local @@ -1,15 +1,22 @@ +JAVA_DIR = ../java/server + sphinx/html: images -sphinx/clean: clean-images -assets: images +sphinx/clean: clean-images clean-javadoc +assets: images javadoc images: make -C images/ clean-images: make -C images/ clean -.PHONY: images clean-images +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: