# HG changeset patch
# User wenzelm
# Date 1008085483 -3600
# Node ID eb3bc1c06a4214c30ec2bcf8bd40edb282f8eb68
# Parent  d3577f7e26bfc9b7692075705b0932be7372a146
obsolete;

diff -r d3577f7e26bf -r eb3bc1c06a42 lib/fontserver/config-sample
--- 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