diff --git a/doc/tags b/doc/tags
deleted file mode 100644
index 33c08a9..0000000
--- a/doc/tags
+++ /dev/null
@@ -1,9 +0,0 @@
-symbols-outline-commands	symbols-outline.txt	/*symbols-outline-commands*
-symbols-outline-configuration	symbols-outline.txt	/*symbols-outline-configuration*
-symbols-outline-contents	symbols-outline.txt	/*symbols-outline-contents*
-symbols-outline-default_keymaps	symbols-outline.txt	/*symbols-outline-default_keymaps*
-symbols-outline-highlights	symbols-outline.txt	/*symbols-outline-highlights*
-symbols-outline-installation	symbols-outline.txt	/*symbols-outline-installation*
-symbols-outline-introduction	symbols-outline.txt	/*symbols-outline-introduction*
-symbols-outline-prerequisites	symbols-outline.txt	/*symbols-outline-prerequisites*
-symbols-outline.txt	symbols-outline.txt	/*symbols-outline.txt*