diff --git a/Documentation/empty.html b/Documentation/empty.html
deleted file mode 100644
index e69de29bb2..0000000000