# 
# 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.11 2010-06-30 08:46:13 tews Exp $
# 
# 

.PHONY: clean realclean all

#
# make a new version of the HOL grammar
#

all: grammars ccslc.1.in

grammars: compiler.html grammar.html

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"

install-html:
	cp -i grammar.html ccslc.html /home/tews/public_html/ccsl

#VERSION=2.1.2
#VERSION=<versionnumber>

ccslc.1.in: ccslc.pod ../ccslversion
	pod2man --release="Version $$(cat ../ccslversion)"	\
		--center="ccslc, ccslc.opt"	\
		--section=1	\
		$< > $@

ccslc.1: ccslc.1.in
	cp ccslc.1.in ccslc.1

ccslc.html.in: ccslc.pod
	pod2html --noindex --title="ccslc, ccslc.opt" $< > $@

ccslc.html: ccslc.html.in
	cp ccslc.html.in ccslc.html

ccslc.man: ccslc.1
	nroff -man $< > $@


clean::
	rm -f grammar.html grammar.txt compiler.html
	rm -f ccslc.1 ccslc.1.in ccslc.man ccslc.html ccslc.html.in

realclean:: clean


### Local Variables: ***
### version-control: t ***
### kept-new-versions: 5 ***
### time-stamp-line-limit: 30 ***
### End: ***
