diff --git a/docs/Makefile.local b/docs/Makefile.local
--- a/docs/Makefile.local
+++ b/docs/Makefile.local
@@ -1,13 +1,18 @@
+JAVA_DIR = ../java/server
+
 sphinx/html: images
 sphinx/clean: clean-images
-assets: images
+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
+
+.PHONY: images clean-images javadoc
 
 
 # Local Variables: