#!/bin/sh
#
# printfonts: print out the fonts used in Export.t2l
#
# Usage: 
# ./printfonts < Export.t2l
#
# Linkoping Intelligent Communication of Knowledge System (LINCKS)
#    Copyright (C) 1993, 1994 Martin Sjlin
#     Department of Computer and Information Sciences
#            University of Linkoping, Sweden
#                581 83 Linkoping, Sweden
#                   lincks@ida.liu.se
# 
# These collective LINCKS programs are free software; you can
# redistribute them and/or modify them under the terms of the GNU
# General Public License as published by the Free Software Foundation,
# version 2 of the License.
# 
# These programs are distributed in the hope that they will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
# 
# You should have received a copy of the GNU General Public License
# along with the programs; if not, write to the Free Software
# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
# printfont
#
fgrep 'font=' $1 | gawk '
/font=\\"/ {
	if(match($0,/font=\\"[A-Za-z0-9-]+/)) {
	    font = substr($0,RSTART,RLENGTH);
            gsub(/font=\\"/,"",font);
            print font;
	    next;
	}
}' | sort | uniq
