1 #!/bin/bash -norc
1 #!/bin/bash
2 #
3 # $Id$
4 #
5 # DESCRIPTION: install the isabelle fonts into your X11 server
6