Makefile.dist   [plain text]

# $Id: Makefile.dist,v 1.11 2003/10/22 18:50:04 rjs3 Exp $
dist:
	mkdir -p man
	for man in ../man/*.[1-9]; \
	do \
		echo "=== $$man ==="; \
		groff -man -Thtml $$man > man/`basename $$man`.html; \
	done

	pod2html ../perl/imap/cyradm.sh > man/cyradm.1.html
	pod2man ../perl/sieve/scripts/sieveshell.pl > ../man/sieveshell.1
	pod2html ../perl/sieve/scripts/sieveshell.pl > man/sieveshell.1.html

	rm -f groff-html-*.png pod2htm*

	fig2dev -L png murder.fig murder.png
	fig2dev -L png netnews.fig netnews.png

	(cd text; make)