[m-dev.] trivial diff: add blank line to user_guide.texi

[Fergus Henderson]

Estimated hours taken: 0.05

doc/user_guide.texi:
	Improve the formatting (at least for the `info' version) slightly,
	by adding a blank line.

Workspace: /home/mercury0/fjh/mercury
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.202
diff -u -d -r1.202 user_guide.texi
--- doc/user_guide.texi	2000/03/21 15:42:32	1.202
+++ doc/user_guide.texi	2000/03/25 08:04:23
@@ -3275,6 +3275,7 @@
 The available options each belong to a set of mutually
 exclusive alternatives governing a single aspect of the compilation model.
 The set of aspects and their alternatives are:
+
 @table @asis
 @item What combination of GNU-C extensions to use:
 @samp{none}, @samp{reg}, @samp{jump}, @samp{asm_jump},

-- 
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.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------