diff --git a/doc/BUGS b/doc/BUGS deleted file mode 100644 index e69de29bb..000000000 diff --git a/doc/TODO b/doc/TODO deleted file mode 100644 index e69de29bb..000000000