trivial diff: update doc/generate_mdb_doc

[Fergus Henderson]

Estimated hours taken: 0.1

doc/generate_mdb_doc:
	Add "interactive" (queries) to the list of user guide section names
	containing documentation about mdb commands.

Index: doc/generate_mdb_doc
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/generate_mdb_doc,v
retrieving revision 1.2
diff -u -r1.2 generate_mdb_doc
--- generate_mdb_doc	1998/11/02 02:34:39	1.2
+++ generate_mdb_doc	1999/03/18 08:01:28
@@ -15,7 +15,8 @@
 ../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
+for section in interactive forward backward browsing breakpoint \
+	parameter help exp developer misc 
 do
 	info -f ./mercury_user_guide.info -o $tmp $debug_cmd_path $section
 	../util/info_to_mdb $section $tmp >> mdb_doc

-- 
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.