diff --git a/build/javadoc/make.sh b/build/javadoc/make.sh
index d0532e1c3..8cc32424d 100755
--- a/build/javadoc/make.sh
+++ b/build/javadoc/make.sh
@@ -31,3 +31,5 @@ javadoc -public -notimestamp -d everything \
 
 cp stylesheet.css core/
 cp stylesheet.css everything/
+cp index.html core/
+cp index.html everything/