From: Francesco Potortì Date: Tue, 14 Sep 2004 15:22:48 +0000 (+0000) Subject: Put /dev into @file. X-Git-Tag: ttn-vms-21-2-B4~4919 X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=4559d619bdcabeafa1beaee0eb9dcd316c22aaa8;p=emacs.git Put /dev into @file. --- 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. directory where the tags file was initially written. This way, you can move an entire directory tree containing both the tags file and the source files, and the tags file will still refer correctly to the source -files. If the tags file is in /dev, however, the file names are made -relative to the current working directory. +files. If the tags file is in @file{/dev}, however, the file names are +made relative to the current working directory. If you specify absolute file names as arguments to @code{etags}, then the tags file will contain absolute file names. This way, the tags file