=================================================================== RCS file: /home/cvs/OpenXM/src/pari/Makefile,v retrieving revision 1.9 retrieving revision 1.10 diff -u -p -r1.9 -r1.10 --- OpenXM/src/pari/Makefile 2000/01/08 21:47:04 1.9 +++ OpenXM/src/pari/Makefile 2000/02/27 07:26:21 1.10 @@ -1,6 +1,7 @@ -# $OpenXM: OpenXM/src/pari/Makefile,v 1.8 2000/01/08 20:54:08 maekawa Exp $ +# $OpenXM: OpenXM/src/pari/Makefile,v 1.9 2000/01/08 21:47:04 maekawa Exp $ PARI = ../../../OpenXM_contrib/pari +OpenXM_ROOT = ../../../OpenXM all: configure @if [ ! -f ./.make_done ]; then \ @@ -10,6 +11,11 @@ all: configure install: all install-lib (cd $(PARI) ; make install) + @if [ ! -d $(OpenXM_ROOT)/doc/pari ]; then \ + mkdir $(OpenXM_ROOT)/doc/pari ;\ + fi + -cp $(OpenXM_ROOT)/lib/pari/users.dvi $(OpenXM_ROOT)/doc/pari/users.dvi + -cp $(OpenXM_ROOT)/lib/pari/tutorial.dvi $(OpenXM_ROOT)/doc/pari/tutorial.dvi clean: @if [ -f ./.make_done ]; then \