From 2e28f52dc826931b2238b983f6c17b88f13efd89 Mon Sep 17 00:00:00 2001 From: Juanma Barranquero Date: Wed, 6 Jun 2007 23:38:45 +0000 Subject: [PATCH] (Create Tags Table): Fix typo. --- man/maintaining.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/man/maintaining.texi b/man/maintaining.texi index c9e77ede2a1..988d5890b8c 100644 --- 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. -- 2.39.2