X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fconfiguring.texi;h=eedc11d4e8d7b59bfe77485b93207947e931c749;hb=2990bac9e19a4a92606c830ab39ef3eb1e555481;hp=818742dd242f2015686858b44d8944b7e3ad4e3d;hpb=a2222a2ddac2f12d38ae62bc7a769ed6d1ae1b46;p=pspp-builds.git

diff --git a/doc/configuring.texi b/doc/configuring.texi
index 818742dd..eedc11d4 100644
--- a/doc/configuring.texi
+++ b/doc/configuring.texi
@@ -879,7 +879,7 @@ Default: @code{ps-prologue}.
 
 Sets the name of the Groff-format device description file.  The
 PostScript driver reads this to know about the scaling of fonts
-and so on.  The format of such files is described in groff_font(5),
+and so on.  The format of such files is described in the groff_font man page,
 included with Groff.  Default: @code{DESC}.
 
 @item encoding-file=@var{encoding-file-name}