diff --git a/docs/reference/TIGER.html b/docs/reference/tiger.html similarity index 100% rename from docs/reference/TIGER.html rename to docs/reference/tiger.html