# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 926748080 0
# Node ID d305965638f79f4abcf0b08fdfd7ba54d5802c96
# Parent  e1cb8de8ffb28518cb7849976c57602d9487c010
*** empty log message ***

diff -r e1cb8de8ffb2 -r d305965638f7 man/msdog.texi
--- a/man/msdog.texi	Sat May 15 05:57:39 1999 +0000
+++ b/man/msdog.texi	Sat May 15 06:01:20 1999 +0000
@@ -378,7 +378,7 @@
 @code{"//joes_pc/hp4si"}.  (It doesn't matter whether you use forward
 slashes or backslashes here.)  To find out the names of shared printers,
 run the command @samp{net view} at a DOS command prompt to obtain a list
-of servers, and @samp{net view server-name} to see the names of printers
+of servers, and @samp{net view @var{server-name}} to see the names of printers
 (and directories) shared by that server.
 
   If you set @code{printer-name} to a file name, it's best to use an