# Do NOT edit this file; it's automatically generated!!
OPTIONS = NO_OVERLAY
EXTRA_CLEANS = Doc2Html Doc2Html.exe Doc2Tex Doc2Tex.exe \
               Doc2Txt Doc2Txt.exe makebase Lexer.sml Parser.sml

all: makebase Doc2Html Doc2Tex Doc2Txt

makebase : Database.uo Htmlsigs.uo Lexer.uo Parser.uo Parsspec.uo Printbase.uo Texsigs.uo makebase.uo
	HOLMOSMLC -o makebase makebase.uo

Doc2Html : Doc2Html.uo ParseDoc.uo Symbolic.uo
	MOSMLC -o Doc2Html Doc2Html.uo

Doc2Tex : Doc2Tex.uo ParseDoc.uo Symbolic.uo
	MOSMLC -o Doc2Tex Doc2Tex.uo

Doc2Txt: Doc2Txt.uo ParseDoc.uo Symbolic.uo
	MOSMLC -o Doc2Txt Doc2Txt.uo

Lexer.sml: Lexer.lex
	MOSMLLEX Lexer.lex

Parser.sml: Parser.grm
	MOSMLYAC Parser.grm

