diff options
| -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 7339d6a4f65..e7d98e67591 100644 --- a/man/maintaining.texi +++ b/man/maintaining.texi | |||
| @@ -445,8 +445,8 @@ well as the files it directly contains. | |||
| 445 | directory where the tags file was initially written. This way, you can | 445 | directory where the tags file was initially written. This way, you can |
| 446 | move an entire directory tree containing both the tags file and the | 446 | move an entire directory tree containing both the tags file and the |
| 447 | source files, and the tags file will still refer correctly to the source | 447 | source files, and the tags file will still refer correctly to the source |
| 448 | files. If the tags file is in /dev, however, the file names are made | 448 | files. If the tags file is in @file{/dev}, however, the file names are |
| 449 | relative to the current working directory. | 449 | made relative to the current working directory. |
| 450 | 450 | ||
| 451 | If you specify absolute file names as arguments to @code{etags}, then | 451 | If you specify absolute file names as arguments to @code{etags}, then |
| 452 | the tags file will contain absolute file names. This way, the tags file | 452 | the tags file will contain absolute file names. This way, the tags file |