#
# $Id: Makefile,v 1.1 1998/10/18 19:19:01 kk Exp $

SRC=head.isgml chap-1.isgml chap-2.isgml chap-3.isgml chap-4.isgml chap-5.isgml chap-6.isgml chap-7.isgml tail.isgml
MASTER=documentation.sgml

doc:	documentation.html documentation.txt

documentation.html:	documentation.sgml
	sgml2html $(MASTER)

documentation.txt:	documentation.sgml
	sgml2txt  $(MASTER)

documentation.sgml:	$(SRC)
	cat $(SRC) > $(MASTER)

clean:
	rm $(MASTER)
	rm *.html
	rm *.txt
