diff: fix for generate_mdb_doc.

[Tyson Dowd]

Hi,

Here's a quick bug fix.

===================================================================


Estimated hours taken: 0.5

doc/generate_mdb_doc:
	Use "./mercury_user_guide.info" instead of
	mercury_user_guide.info because otherwise info will try to
	use the installed info file instead of the local one.
	(Which isn't very successful if the installed one lacks
	a debugging chapter).


Index: generate_mdb_doc
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/generate_mdb_doc,v
retrieving revision 1.1
diff -u -r1.1 generate_mdb_doc
--- generate_mdb_doc	1998/10/16 06:18:19	1.1
+++ generate_mdb_doc	1998/10/22 03:06:27
@@ -11,12 +11,12 @@
 tmp="mdb_doc_tmp.$$"
 trap '/bin/rm -f $tmp' 0 1 2 3 15
 
-info -f mercury_user_guide.info -o $tmp -n "Mercury debugger concepts"
+info -f ./mercury_user_guide.info -o $tmp -n "Mercury debugger concepts"
 ../util/info_to_mdb concepts $tmp >> mdb_doc
 
 debug_cmd_path="debug debugger"
 for section in forward backward browsing breakpoint parameter help exp developer misc
 do
-	info -f mercury_user_guide.info -o $tmp $debug_cmd_path $section
+	info -f ./mercury_user_guide.info -o $tmp $debug_cmd_path $section
 	../util/info_to_mdb $section $tmp >> mdb_doc
 done


-- 
Those who would give up essential liberty to purchase a little temporary
safety deserve neither liberty nor safety.     - Benjamin Franklin

Tyson Dowd   <tyson at tyse.net>   http://tyse.net