# 
#	Make the manual.
#
FTP_MANUAL=/archive/pub/plp/PLP-Manual

all: manual.ps manual.txt

install: manual.ps manual.txt
	cp manual.ps $(FTP_MANUAL).ps
	rm -f $(FTP_MANUAL).ps.gz
	gzip -best $(FTP_MANUAL).ps
	cp manual.txt $(FTP_MANUAL).txt
	rm -f $(FTP_MANUAL).txt.gz
	gzip -best $(FTP_MANUAL).txt

manual.ps: 00.t 01.t 02.t 03.t 04.t 05.t 06.t 07.t 08.t 09.t \
		10.t 11.t 12.t
	groff -rC1 -t -ms -Tps *.t > manual.ps
	cp manual.ps ../../doc/PLP/manual.ps

manual.txt: 00.t 01.t 02.t 03.t 04.t 05.t 06.t 07.t 08.t 09.t \
		10.t 11.t 12.t
	groff -rC1 -t -ms -Tascii *.t > manual.txt
	cp manual.txt ../../doc/PLP/manual.txt
