--- man/gnump3d.conf.1.orig	Tue Feb  4 18:25:13 2003
+++ man/gnump3d.conf.1	Fri Feb  7 01:04:28 2003
@@ -18,7 +18,7 @@
 .B gnump3d.conf
 .Sp
 By default the configuration file lives in 
-.B /etc/gnump3d/gnump3d.conf
+.B %%PREFIX%%/etc/gnump3d/gnump3d.conf
 but the server may instead read the personal configuration file
 .B
 ~/.gnump3drc
