1996-09-27 06:29:02 -04:00
|
|
|
#
|
|
|
|
# Makefile for Doc/Extension
|
|
|
|
#
|
1999-09-27 07:20:21 -04:00
|
|
|
include ../../config.make
|
1996-09-27 06:29:02 -04:00
|
|
|
|
|
|
|
SRC = Extending.tex
|
|
|
|
|
|
|
|
all: dvi ps
|
|
|
|
|
|
|
|
dvi: Extending.dvi
|
|
|
|
ps: Extending.ps
|
|
|
|
|
1999-09-27 07:20:21 -04:00
|
|
|
|
|
|
|
install: ps
|
|
|
|
$(CP) Extending.ps $(DOC_DIR)
|
|
|
|
|
1996-09-27 06:29:02 -04:00
|
|
|
Extending.dvi: $(SRC)
|
|
|
|
echo -n > Extending.ind
|
|
|
|
latex Extending; makeindex Extending; bibtex Extending;
|
|
|
|
latex Extending; latex Extending
|
|
|
|
|
|
|
|
Extending.ps: Extending.dvi
|
|
|
|
dvips -f Extending > Extending.ps
|
|
|
|
|
|
|
|
clean:
|
|
|
|
rm -f *.aux *.idx *.log *~ *.so *.bbl *.blg *.ilg *.ind *.toc
|
|
|
|
|
|
|
|
very-clean: clean
|
|
|
|
rm -f *.dvi *.ps
|