b52fb0c
--- jemboss/Makefile.am.destdir	2009-06-15 13:08:19.000000000 +0200
b52fb0c
+++ jemboss/Makefile.am	2009-07-29 12:52:37.000000000 +0200
b52fb0c
@@ -64,7 +64,7 @@
b52fb0c
 	echo "(cd $(prefix)/share/$(PACKAGE)/jemboss; java org/emboss/jemboss/Jemboss &)" >> $(DESTDIR)$(bindir)/runJemboss.csh; \
b52fb0c
 	chmod 755 $(DESTDIR)$(bindir)/runJemboss.csh; \
b52fb0c
 	(cd $(DESTDIR)$(prefix)/share/$(PACKAGE)/jemboss/resources; sed "s|user.auth=true|user.auth=false|" jemboss.properties | sed "s|jemboss.server=true|jemboss.server=false|" |  sed "s|/packages/emboss/STABLE|$(prefix)|" > jemboss.properties.new; mv -f jemboss.properties.new jemboss.properties; cd -); \
b52fb0c
-    sed "s|JEMBOSS_HOME=.|JEMBOSS_HOME=$(DESTDIR)$(prefix)/share/$(PACKAGE)/jemboss/|" runJemboss.sh > $(DESTDIR)$(prefix)/share/$(PACKAGE)/jemboss/runJemboss.sh; \
b52fb0c
+    sed "s|JEMBOSS_HOME=.|JEMBOSS_HOME=$(prefix)/share/$(PACKAGE)/jemboss/|" runJemboss.sh > $(DESTDIR)$(prefix)/share/$(PACKAGE)/jemboss/runJemboss.sh; \
b52fb0c
     chmod 755 $(DESTDIR)$(prefix)/share/$(PACKAGE)/jemboss/runJemboss.sh;
b52fb0c
     
b52fb0c
 pkgdata_DATA = LICENSE readme.html README
b52fb0c
--- jemboss/Makefile.in.destdir	2009-07-15 01:16:00.000000000 +0200
b52fb0c
+++ jemboss/Makefile.in	2009-07-29 12:52:39.000000000 +0200
b52fb0c
@@ -682,7 +682,7 @@
b52fb0c
 	echo "(cd $(prefix)/share/$(PACKAGE)/jemboss; java org/emboss/jemboss/Jemboss &)" >> $(DESTDIR)$(bindir)/runJemboss.csh; \
b52fb0c
 	chmod 755 $(DESTDIR)$(bindir)/runJemboss.csh; \
b52fb0c
 	(cd $(DESTDIR)$(prefix)/share/$(PACKAGE)/jemboss/resources; sed "s|user.auth=true|user.auth=false|" jemboss.properties | sed "s|jemboss.server=true|jemboss.server=false|" |  sed "s|/packages/emboss/STABLE|$(prefix)|" > jemboss.properties.new; mv -f jemboss.properties.new jemboss.properties; cd -); \
b52fb0c
-    sed "s|JEMBOSS_HOME=.|JEMBOSS_HOME=$(DESTDIR)$(prefix)/share/$(PACKAGE)/jemboss/|" runJemboss.sh > $(DESTDIR)$(prefix)/share/$(PACKAGE)/jemboss/runJemboss.sh; \
b52fb0c
+    sed "s|JEMBOSS_HOME=.|JEMBOSS_HOME=$(prefix)/share/$(PACKAGE)/jemboss/|" runJemboss.sh > $(DESTDIR)$(prefix)/share/$(PACKAGE)/jemboss/runJemboss.sh; \
b52fb0c
     chmod 755 $(DESTDIR)$(prefix)/share/$(PACKAGE)/jemboss/runJemboss.sh;
b52fb0c
 
b52fb0c
 # tar to pick up the other directories