diff --git a/Manual/Filesystem/tags.texi b/Manual/Filesystem/tags.texi
deleted file mode 100644
index e69de29..0000000
--- a/Manual/Filesystem/tags.texi
+++ /dev/null