From a605ebd2d880ec1ee242bc7236a2533aab7062ba Mon Sep 17 00:00:00 2001 From: benfry Date: Tue, 8 Jun 2010 14:26:53 +0000 Subject: [PATCH] auto-remove the borders --- build/javadoc/make.sh | 2 ++ 1 file changed, 2 insertions(+) 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/