From 4559d619bdcabeafa1beaee0eb9dcd316c22aaa8 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Francesco=20Potort=C3=AC?= Date: Tue, 14 Sep 2004 15:22:48 +0000 Subject: [PATCH] Put /dev into @file. --- man/maintaining.texi | 4 ++-- 1 file 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. 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 -- 2.39.2