# $Id: Makefile,v 1.3 1998/06/04 09:04:33 gernot Exp $
PSDEST =./ps
MANDEST=/home/disy/l4/man/man2
CATDEST=/home/disy/l4/man/cat2
REFMAN=/home/disy/l4/doc/l4-refman.ps.gz
ROOT=l4R4x00
BIB=l4R4x00.bib
MANDIR=man

all:		manuals $(ROOT).ps

install:	all
		gzip --best <$(ROOT).ps >$(REFMAN)
		cd $(MANDIR) && \
		$(MAKE) PSDEST=$(PSDEST) MANDEST=$(MANDEST) CATDEST=$(CATDEST) \
			install

print:		all
		lpr $(ROOT).ps $(MANDIR)/$(PSDEST)/*.ps

tar:
		tar cfv $(ROOT).tar Makefile $(ROOT).tex $(BIB) \
		$(MANDIR)/Makefile $(MANDIR)/*.man

$(ROOT).ps:	$(ROOT).dvi
		dvips -o $(ROOT).ps $(ROOT)

$(ROOT).dvi:	$(ROOT).tex $(BIB)
		latex $(ROOT) &&bibtex $(ROOT) && latex $(ROOT) && latex $(ROOT)

manuals:
		cd $(MANDIR) && $(MAKE)

clean:

realclean:
		rm -f *.log *.dvi *.aux *.ps *.toc *.blg *.bbl *.cb
		cd $(MANDIR) && $(MAKE) MANDEST=/dev/null CATDEST=/dev/null \
			realclean
