--- a/lib/fontserver/config-sample Tue Dec 11 16:25:31 2001 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,36 +0,0 @@
-#
-# $Id$
-# Author: Markus Wenzel, TU Muenchen
-# License: GPL (GNU GENERAL PUBLIC LICENSE)
-#
-# X11 font server sample configuration
-# (Cf. your local man page of 'xfs' or 'fs'!)
-#
-#
-# Edit a copy of this file and run your server like this:
-#
-# xfs -config /foo/bar/fontserver/config
-#
-#
-# Then test it by any of the these commands (replace foo by your
-# host name):
-#
-# fsinfo -server foo:7200
-# fslsfonts -server foo:7200
-# xset fp+ tcp/foo:7200
-#
-
-# the standard port is 7100, this might be already in use
-#port = 7100
-port = 7200
-
-# location of the Isabelle font files
-catalogue = /usr/proj/isabelle/lib/fonts
-
-# number of client sessions we accept
-client-limit = 50
-
-# where to put error messages
-use-syslog = on
-#use-syslog = off
-#error-file = /var/tmp/fontserver-errors