diff --git a/doc/empty.html b/doc/empty.html
deleted file mode 100644
index 724f4d4c..00000000
--- a/doc/empty.html
+++ /dev/null
@@ -1 +0,0 @@
-html
\ No newline at end of file