diff options
Diffstat (limited to 'math/gri/files/patch-aa')
| -rw-r--r-- | math/gri/files/patch-aa | 57 |
1 files changed, 24 insertions, 33 deletions
diff --git a/math/gri/files/patch-aa b/math/gri/files/patch-aa index 52288ad15d38..c2865bedd0db 100644 --- a/math/gri/files/patch-aa +++ b/math/gri/files/patch-aa @@ -1,33 +1,24 @@ -*** Makefile.in.orig Sun May 7 11:44:07 2000 ---- Makefile.in Sat Sep 23 12:10:29 2000 -*************** -*** 154,167 **** - install: all - echo "Installing into '$(prefix)' directory" - cat startup.msg | sed -e s,VSN,${VERSION}, > tmp - $(INSTALL_DATA) tmp $(prefix)/share/gri/startup.msg - rm -f tmp - $(INSTALL_PROGRAM) gri $(prefix)/bin/gri - $(INSTALL_DATA) gri.cmd $(prefix)/share/gri/gri.cmd - $(INSTALL_DATA) license.txt $(prefix)/share/gri/license.txt -! $(INSTALL_PROGRAM) gri_merge $(prefix)/bin/gri_merge -! $(INSTALL_PROGRAM) gri_unpage $(prefix)/bin/gri_unpage -! cd doc; prefix=$(prefix) make html-install - - all: force - make gri ---- 154,167 ---- - install: all - echo "Installing into '$(prefix)' directory" - cat startup.msg | sed -e s,VSN,${VERSION}, > tmp -+ -@mkdir $(prefix)/share/gri - $(INSTALL_DATA) tmp $(prefix)/share/gri/startup.msg - rm -f tmp - $(INSTALL_PROGRAM) gri $(prefix)/bin/gri - $(INSTALL_DATA) gri.cmd $(prefix)/share/gri/gri.cmd - $(INSTALL_DATA) license.txt $(prefix)/share/gri/license.txt -! $(INSTALL_DATA) gri_merge $(prefix)/bin/gri_merge -! $(INSTALL_DATA) gri_unpage $(prefix)/bin/gri_unpage - - all: force - make gri +--- Makefile.in.orig Sat Jun 1 13:37:59 2002 ++++ Makefile.in Mon Jul 15 15:56:40 2002 +@@ -118,17 +118,17 @@ + + install-bin: + cat startup.msg | sed -e s,VSN,${VERSION}, -e s,PREFIX,$(prefix), > tmp +- $(INSTALL_PROGRAM) -d $(libdir) ++ -@mkdir -p $(libdir) + $(INSTALL_DATA) tmp $(libdir)/startup.msg + rm -f tmp + $(INSTALL_DATA) gri.cmd $(libdir)/gri.cmd + $(INSTALL_DATA) logo.dat $(libdir)/logo.dat + $(INSTALL_DATA) license.txt $(libdir)/license.txt +- $(INSTALL_PROGRAM) -d $(prefix)/bin ++ -@mkdir -p $(prefix)/bin + $(INSTALL_PROGRAM) gri $(prefix)/bin/gri-$(VERSION) + (cd $(prefix)/bin/ ; rm -f gri ; ln -sf gri-$(VERSION) gri) +- $(INSTALL_PROGRAM) gri_merge $(prefix)/bin/gri_merge +- $(INSTALL_PROGRAM) gri_unpage $(prefix)/bin/gri_unpage ++ $(INSTALL_DATA) gri_merge $(prefix)/bin/gri_merge ++ $(INSTALL_DATA) gri_unpage $(prefix)/bin/gri_unpage + + debian-lib = $(debian)/usr/share/gri/$(VERSION) + install_linux_debian: gri |