src/Tools/8bit/perl/isapal.pl

use Args.mode;

#!/usr/local/dist/bin/perl
'di';
'ig00';
#
# $Header$
#
# $Log$
# Revision 1.3  1998/10/19 13:37:02  oheimb
# corrected Header
#
# Revision 1.2  1997/03/17  11:25:52  wenzelm
# fixed perl path;
#
# Revision 1.1.1.1  1996/06/25  15:44:59  oheimb
# Graphical 8bit Font Packet, see isabelle/Tools/8bit/doc/manual.dvi
# Author: Franz Regensburger; improvements by David von Oheimb
#
# Revision 1.1.1.1  1996/06/25  13:58:23  oheimb
# Graphical 8bit Font Package imported, second attempt
#
#
# isapal.pl
# Franz Regensburger <[e-mail]>
# 21.3.95
#
# last changed: 
#
# print the file palette.isa
#
# needs an 8bit terminal for output

$pack=$ENV{'ISABELLE8BIT'};
$filename = "$pack/doc/palette.isa";

open(INFILE,$filename) || die "can't open $filename: $!\n";

while (<INFILE>){ print;}

close(INFILE);
exit(0);

###############################################################

    # These next few lines are legal in both Perl and nroff.

.00;                       # finish .ig
 
'di           \" finish diversion--previous line must be blank
.nr nl 0-1    \" fake up transition to first page again
.nr % 0         \" start at page 1
'; __END__ ##### From here on it's a standard manual page #####