/*
Copyright (c) 1991-1996 Xerox Corporation.  All Rights Reserved.  

Unlimited use, reproduction, and distribution of this software is
permitted.  Any copy of this software must include both the above
copyright notice of Xerox Corporation and this paragraph.  Any
distribution of this software must comply with all applicable United
States export control laws.  This software is made available AS IS,
and XEROX CORPORATION DISCLAIMS ALL WARRANTIES, EXPRESS OR IMPLIED,
INCLUDING WITHOUT LIMITATION THE IMPLIED WARRANTIES OF MERCHANTABILITY
AND FITNESS FOR A PARTICULAR PURPOSE, AND NOTWITHSTANDING ANY OTHER
PROVISION CONTAINED HEREIN, ANY LIABILITY FOR DAMAGES RESULTING FROM
THE SOFTWARE OR ITS USE IS EXPRESSLY DISCLAIMED, WHETHER ARISING IN
CONTRACT, TORT (INCLUDING NEGLIGENCE) OR STRICT LIABILITY, EVEN IF
XEROX CORPORATION IS ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.

$Id: Imakefile,v 1.44 1996/07/16 18:58:08 spreitze Exp $
*/
/* Last edited by Mike Spreitzer July 16, 1996 11:56 am PDT */

TIM = ../etc/tim/tim
TEXINFO2PS = ../etc/tim/texinfo2ps
TEXINFO2INFO = ../etc/tim/texinfo2info
TEXINFO2HTML = ../etc/tim/texinfo2html

#ifdef ADD_TIM_TOOLS

dist::
	cd ../etc/tim ; make Dist RELNUM=$(RELNUM) ; make

PrebuiltTimDoc(installation)
PrebuiltTimDoc(tutc)
PrebuiltTimDoc(tutpython)

PrebuiltTimDocWithHTML(manual)

dist::
	$(RM) -f ../README
	tail +4 <installation.info.dist >../README
	chmod 444 ../README

#endif /* ADD_TIM_TOOLS */

install::
	if test -f manual.ps.dist ; then \
		$(INSTALL) $(INSTINCFLAGS) manual.ps.dist $(DESTDIR)/doc/manual.ps ; fi
	if test -f manual.info.dist ; then \
		$(INSTALL) $(INSTINCFLAGS) manual.info.dist $(DESTDIR)/doc/manual.info ; fi
	if test -f tutc.ps.dist ; then \
		$(INSTALL) $(INSTINCFLAGS) tutc.ps.dist $(DESTDIR)/doc/tutorial-C.ps ; fi
	if test -f tutpython.ps.dist ; then \
		$(INSTALL) $(INSTINCFLAGS) tutpython.ps.dist $(DESTDIR)/doc/tutorial-Python.ps ; fi
	if test -f tutc.info.dist ; then \
		$(INSTALL) $(INSTINCFLAGS) tutc.info.dist $(DESTDIR)/doc/tutorial-C.txt ; fi
	if test -f tutpython.info.dist ; then \
		$(INSTALL) $(INSTINCFLAGS) tutpython.info.dist $(DESTDIR)/doc/tutorial-Python.txt ; fi
	if ls manual*.html > /dev/null 2>&1 ; then \
		for file in manual*.html ;\
			do	echo $${file} ;\
				$(INSTALL) $(INSTINCFLAGS) $${file} $(DESTDIR)/doc/$${file} ;\
			done ;\
	fi
	if ls *.gif > /dev/null 2>&1 ; then \
		for file in *.gif ;\
			do	echo $${file} ;\
				$(INSTALL) $(INSTINCFLAGS) $${file} $(DESTDIR)/doc/$${file} ;\
			done ;\
	fi	

clean::
	-rm -f *.cp *.vr *.fn *.toc *.dvi *.aux *.texinfo *.pg *.ky *.tp *.fns *.cps *.kys *.pgs *.tps *.vrs tim-* *.log *.bak *.2
