# tagets we want here are the two manuals for dbtool and MySQL
#
all: dbtool.info.gz mysql.stpd.info.gz

dbtool.info.gz: dbtool.info
	gzip -f9 dbtool.info

dbtool.info: dbtool_man.texi
	makeinfo --no-split dbtool_man.texi

mysql.stpd.info.gz: mysql.stpd.info
	gzip -f9 mysql.stpd.info

mysql.stpd.info: manual.stpd.texi include.texi
	makeinfo --no-split manual.stpd.texi

#manual.stpd.texi: manual.texi
#	stripmanual.sh manual.texi

info: all

.PHONY: proper
proper:
	rm -f *~
	rm -f DEADJOE

.PHONY: clean
clean: proper
	rm -f dbtool.info
	rm -f dbtool.info.gz
	rm -f mysql.stpd.info
	rm -f mysql.stpd.info.gz
