# Makefile for xhippo's documentation

all: man xhippo.html.gz xhippo.info.gz xhippo.ps.gz

distclean:
	rm -f *.toc *.aux *.log *~ *.cp *.fn *.ky *.pg *.tp *.vr *~

clean: distclean
	rm -f ../xhippo.1 xhippo.html.gz xhippo.info.gz xhippo.ps.gz

xhippo.html.gz: xhippo.texinfo
	rm -f xhippo.html.gz
	texi2html xhippo.texinfo
	gzip xhippo.html

xhippo.info.gz: xhippo.texinfo
	rm -f xhippo.info.gz
	makeinfo xhippo.texinfo
	gzip xhippo.info

xhippo.ps.gz: xhippo.texinfo
	texi2dvi xhippo.texinfo
	dvips -o xhippo.ps xhippo.dvi
	rm -f xhippo.tex xhippo.dvi xhippo.ps.gz
	gzip xhippo.ps

man: ../xhippo.1
../xhippo.1: xhippo.texinfo makeman.awk
	@echo 'Making man page from xhippo.texinfo...'
	gawk -f makeman.awk <xhippo.texinfo >../xhippo.1