#! /bin/sh
#
# $Id: epslint,v 1.3 2008/11/29 20:42:45 dan Exp $
#
# Copyright (c) 2001, 2002 Dan McMahill
# All rights reserved.
#
# 
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; version 2 of the License.
# 
# This program is distributed in the hope that it 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 this program; if not, write to the Free Software
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
# 


#
# scans for prohibited commands in a .eps file
#
#  usage;
#    epsline foo.eps

for fn in grestoreall erasepage nulldevice exitserver initgraphics copypage renderbands setscreen initmatrix banddevice setpageparams settransfer initclip framedevice note
do
	grep $fn $1
done
