trivial diff: fix binary distribution bug

[Fergus Henderson]

Estimated hours taken: 0.1

Fix a bug reported by James Cussens <jc at cs.york.ac.uk>.

bindist/bindist.configure.in:
	Substitute @FINAL_GRADE_OPTIONS@, as ../configure.in does.

Index: bindist/bindist.configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/bindist/bindist.configure.in,v
retrieving revision 1.15
diff -u -r1.15 bindist.configure.in
--- bindist.configure.in	1998/10/06 05:36:08	1.15
+++ bindist.configure.in	1998/11/20 18:23:34
@@ -167,8 +167,10 @@
 top=`pwd`
 INIT_GRADE_OPTIONS=$top/scripts/init_grade_options.sh-subr
 PARSE_GRADE_OPTIONS=$top/scripts/parse_grade_options.sh-subr
+FINAL_GRADE_OPTIONS=$top/scripts/final_grade_options.sh-subr
 AC_SUBST_FILE(INIT_GRADE_OPTIONS)
 AC_SUBST_FILE(PARSE_GRADE_OPTIONS)
+AC_SUBST_FILE(FINAL_GRADE_OPTIONS)
 
 #-----------------------------------------------------------------------------#
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.