# HG changeset patch # User Francesco Potort # Date 1095175368 0 # Node ID 5c078eb058f88f59a34b230497a6efb71df91005 # Parent 8f78d0e23932e72b7eabd0b1692874ce967a6a1a Put /dev into @file. diff -r 8f78d0e23932 -r 5c078eb058f8 man/maintaining.texi --- a/man/maintaining.texi Tue Sep 14 11:12:00 2004 +0000 +++ b/man/maintaining.texi Tue Sep 14 15:22:48 2004 +0000 @@ -445,8 +445,8 @@ 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