diff: bug fix for bindist/bindist.configure.in

[Fergus Henderson]

bindist/bindist.configure.in:
	Fix a bug in the handling of the *.sh-subr files:
	`$top' should be "`pwd`", not "`pwd`/..", since
	when this file is executed it is the top-level
	configure script, not in the bindist subdirectory.

cvs diff: Diffing .
Index: bindist.configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/bindist/bindist.configure.in,v
retrieving revision 1.13
diff -u -u -r1.13 bindist.configure.in
--- bindist.configure.in	1997/10/08 13:15:54	1.13
+++ bindist.configure.in	1998/03/02 09:36:48
@@ -164,7 +164,7 @@
 # The following allows us to share some subroutines between the
 # `ml' and `mgnuc' scripts.
 
-top=`pwd`/..
+top=`pwd`
 INIT_GRADE_OPTIONS=$top/scripts/init_grade_options.sh-subr
 PARSE_GRADE_OPTIONS=$top/scripts/parse_grade_options.sh-subr
 AC_SUBST_FILE(INIT_GRADE_OPTIONS)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.