--- a/lib/scripts/symbol_input.pl Fri Dec 13 17:50:04 1996 +0100
+++ b/lib/scripts/symbol_input.pl Fri Dec 13 18:25:45 1996 +0100
@@ -1,11 +1,9 @@
-#
-# $Id$
+# Title: Distribution/lib/scripts/symbol_input.pl
+# ID: $Id$
+# Author: Markus Wenzel, David von Oheimb
+# Copyright 1996 Technische Universitaet Muenchen
#
-# symbol_input.pl - translate symbols into \<...> sequences.
-#
-
-$SIG{INT} = "IGNORE";
-$| = 1;
+# translate symbols into \<...> sequences.
%tab = (
"\xa1", "\\\\<Gamma>",
@@ -104,6 +102,9 @@
"\xfe", "\\\\<tick>",
"\xff", "\\\\<copyright>");
+$SIG{INT} = "IGNORE";
+$| = 1;
+
while (<ARGV>) {
s/([\xa1-\xff])/$tab{$1}/g;
print;