diff --git a/html/dl4 b/html/dl4.html
similarity index 100%
rename from html/dl4
rename to html/dl4.html