diff --git a/doc/bot.hml b/doc/bot.html
similarity index 100%
rename from doc/bot.hml
rename to doc/bot.html