[m-rev.] diff: change table_io help category to io_tabling

[Ian MacLarty]

Estimated hours taken: 0.1
Branches: main

doc/generate_mdb_doc:
doc/mdb_categories:
	Changes the `table_io' mdb help category to `io_tabling', so that
	you get help on the table_io command when you type `help table_io'
	(previously you got a message about the I/O tabling group of commands,
	which wasn't very helpful and you needed to type `help table_io 
	table_io' to get help about the table_io command).

Index: doc/generate_mdb_doc
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/generate_mdb_doc,v
retrieving revision 1.9
diff -u -r1.9 generate_mdb_doc
--- doc/generate_mdb_doc	2 May 2005 04:21:14 -0000	1.9
+++ doc/generate_mdb_doc	4 Oct 2005 10:53:41 -0000
@@ -32,7 +32,7 @@
 do
 	case $section in
 		interactive)	category=queries ;;
-		i/o)		category=table_io ;;
+		i/o)		category=io_tabling ;;
 		declarative)	category=mdb_dd ;;
 		*)		category=$section ;;
 	esac
Index: doc/mdb_categories
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/mdb_categories,v
retrieving revision 1.29
diff -u -r1.29 mdb_categories
--- doc/mdb_categories	25 Oct 2005 04:00:46 -0000	1.29
+++ doc/mdb_categories	4 Feb 2006 14:22:49 -0000
@@ -37,8 +37,8 @@
              `enable', `delete', `modules', `procedures' and `register'.
 
 end
-document_category 600 table_io
-table_io   - Commands that let users control the tabling of I/O actions.
+document_category 600 io_tabling
+io_tabling - Commands that let users control the tabling of I/O actions.
              The only such command is `table_io'.
 
 end
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------