# 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
