diff options
| author | Juanma Barranquero | 2007-06-06 23:38:45 +0000 |
|---|---|---|
| committer | Juanma Barranquero | 2007-06-06 23:38:45 +0000 |
| commit | 2e28f52dc826931b2238b983f6c17b88f13efd89 (patch) | |
| tree | df772dc57e0c8d7f54f5ddf168458f1190363c63 | |
| parent | 94208feae43d6eb72d8c45156838cc00cc4e0b48 (diff) | |
| download | emacs-2e28f52dc826931b2238b983f6c17b88f13efd89.tar.gz emacs-2e28f52dc826931b2238b983f6c17b88f13efd89.zip | |
(Create Tags Table): Fix typo.
| -rw-r--r-- | man/maintaining.texi | 4 |
1 files 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 | |||
| 409 | files. If the tags file is in @file{/dev}, however, the file names are | 409 | files. If the tags file is in @file{/dev}, however, the file names are |
| 410 | made relative to the current working directory. This is useful, for | 410 | made relative to the current working directory. This is useful, for |
| 411 | example, when writing the tags to @file{/dev/stdout}. | 411 | example, when writing the tags to @file{/dev/stdout}. |
| 412 | 412 | ||
| 413 | When using a a relative file name, it should not be a symbolic link | 413 | When using a relative file name, it should not be a symbolic link |
| 414 | pointing to a tags file in a different directory, because this would | 414 | pointing to a tags file in a different directory, because this would |
| 415 | generally render the file names invalid. | 415 | generally render the file names invalid. |
| 416 | 416 | ||