# 
# The LOOP Project
# 
# The LOOP Team, Dresden University and Nijmegen University
# 
# Copyright (C) 2002
# 
# 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; either version 2 of
# the License, or (at your option) any later version.
# 
# 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 in file COPYING in this or one of the
# parent directories for more details.
# 
# created by Hendrik 24.10.00
# 
# Time-stamp: <Monday 8 October 01 17:58:00 tews@ithif51>
# 
# Makefile for Doc directory
# 
# $Id: GNUmakefile,v 1.4 2002/01/24 14:55:54 tews Exp $
# 
# 

.PHONY: compiler.html grammar.html clean realclean

#
# make a new version of the HOL grammar
#

compiler.html : ../Ccsl/grammar.mly compiler.el skeleton.html
	emacs -batch -l compiler.el

#	echo To install do
#	echo "scp compiler.html coda@ithif51:public_html/interna"

# user friendly version
grammar.html : ../Ccsl/grammar.mly web.el userskel.html
	emacs -batch -l web.el

#	echo To install do
#	echo "scp grammar.html coda@ithif51:public_html/interna"


clean::
	rm -f grammar.html grammar.txt compiler.html

realclean:: clean


### Local Variables: ***
### version-control: t ***
### kept-new-versions: 5 ***
### delete-old-versions: t ***
### End: ***
