head	4.1;
access;
symbols
	HOL90-7:4.1;
locks; strict;
comment	@# @;


4.1
date	94.09.10.03.45.16;	author jim;	state Exp;
branches;
next	1.2;

1.2
date	94.09.08.12.19.16;	author jim;	state Exp;
branches;
next	1.1;

1.1
date	94.09.07.13.13.02;	author jim;	state Exp;
branches;
next	;


desc
@The Makefile for the window library manual.
@


4.1
log
@Version released with HOL90.7
@
text
@#==========================================#
# Make the manual for the "window" library #
#==========================================#

# ---------------------------------------------------------------------
# Pathname to the string help files
# ---------------------------------------------------------------------
Help=../help

# ---------------------------------------------------------------------
# Pathname to the doc-to-tex script and doc-to-tex.sed file 
# ---------------------------------------------------------------------
DOCTOTEX=../../../Manual/Reference/bin/doc-to-tex
DOCTOTEXSED=../../../Manual/Reference/bin/doc-to-tex.sed

# ---------------------------------------------------------------------
# Pathname to the makeindex program
# ---------------------------------------------------------------------
MAKEINDEX=../../../Manual/LaTeX/makeindex ../../../

default:
	@@echo "INSTRUCTIONS: Type \"make all\" to make the documentation"

# ---------------------------------------------------------------------
# Remove all trace of previous LaTeX jobs
# ---------------------------------------------------------------------
clean:
	rm -f *.dvi *.aux *.toc *.log *.idx *.ilg *.bak *.ps;	\
	rm -f entries.tex theorems.tex;				\
	echo "\begin{theindex}" >index.tex;                     \
	echo "\mbox{}" >>index.tex;                             \
	echo "\end{theindex}" >>index.tex

tex: ids theorems
	@@echo "TeX files makde"

ids:
	echo "\chapter{ML Functions in the window Library}" >entries.tex;   \
	echo "\input{entries-intro}" >>entries.tex;                         \
	/bin/sh ${DOCTOTEX} ${DOCTOTEXSED} ${Help}/entries entries.tex

theorems:
	@@echo "\chapter{Pre-proved Theorems}" > theorems.tex
	@@echo "\input{theorems-intro}" >> theorems.tex
	@@echo "\section{Definitions}">>theorems.tex
	/bin/sh ${DOCTOTEX} ${DOCTOTEXSED} ${Help}/defs theorems.tex
	@@echo "\section{Theorems}">>theorems.tex
	/bin/sh ${DOCTOTEX} ${DOCTOTEXSED} ${Help}/thms theorems.tex

index:
	${MAKEINDEX} window.idx index.tex

window:
	latex window.tex

all:
	make clean;	\
	make tex;	\
	make window;	\
	make index;	\
	make window
@


1.2
log
@Fixed a missing semicolon.
@
text
@@


1.1
log
@Initial revision
@
text
@d29 1
a29 1
	rm -f entries.tex theorems.tex				\
@
