SHELL = /bin/sh

all : flex-es.info flex-es.dvi

info : flex-es.info

dvi : flex-es.dvi

ps : flex-es.ps

flex-es.dvi : flex-es.texi
	tex flex-es.texi
	texindex flex-es.??
	tex flex-es.texi
	tex flex-es.texi

flex-es.info : flex-es.texi
	makeinfo flex-es.texi

flex-es.ps : flex-es.dvi
	dvips -oflex-es.ps flex-es.dvi
