diff options
| author | Francesco Potortì | 2004-09-14 15:22:48 +0000 |
|---|---|---|
| committer | Francesco Potortì | 2004-09-14 15:22:48 +0000 |
| commit | 4559d619bdcabeafa1beaee0eb9dcd316c22aaa8 (patch) | |
| tree | af680e1e38bdabe733c306aa7e01ce0099a1702f | |
| parent | a3ba1a6a0dc7e5828299747e18878b0abe40e3ba (diff) | |
| download | emacs-4559d619bdcabeafa1beaee0eb9dcd316c22aaa8.tar.gz emacs-4559d619bdcabeafa1beaee0eb9dcd316c22aaa8.zip | |
Put /dev into @file.
| -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 |