(Create Tags Table): Fix typo.

diff --git a/man/maintaining.texi b/man/maintaining.texi
index c9e77ede2a135215f67fe4bd7810291ad7bb0573..988d5890b8cb96b1e07795fae9846b25c383587a 100644 (file)
--- a/man/maintaining.texi
+++ b/man/maintaining.texi
@@ -409,8 +409,8 @@ source files, and the tags file will still refer correctly to the source
 files.  If the tags file is in @file{/dev}, however, the file names are
 made relative to the current working directory.  This is useful, for
 example, when writing the tags to @file{/dev/stdout}.
- 
-  When using a a relative file name, it should not be a symbolic link
+
+  When using a relative file name, it should not be a symbolic link
 pointing to a tags file in a different directory, because this would
 generally render the file names invalid.