diff --git a/javadoc/package-list b/javadoc/package-list.html
similarity index 100%
rename from javadoc/package-list
rename to javadoc/package-list.html