diff --git a/doc/en/platfdependentmodules.html b/doc/en/platdependentmodules.html
similarity index 100%
rename from doc/en/platfdependentmodules.html
rename to doc/en/platdependentmodules.html