[m-dev.] trivial diff: work around annoying texinfo warning

[Fergus Henderson]

Estimated hours taken: 0.25

doc/texinfo.tex:
	Change the annoying warning message about the Tex 3.0 incompatibility
	so that it does not contain the string '**'; this makes it easier
	to grep the log files for error messages from Mmake.

Workspace: /home/mercury0/fjh/mercury-other
Index: doc/texinfo.tex
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/texinfo.tex,v
retrieving revision 1.2
diff -u -r1.2 texinfo.tex
--- texinfo.tex	1999/02/21 10:09:47	1.2
+++ texinfo.tex	1999/06/01 08:26:17
@@ -850,7 +850,7 @@
   % We need to warn folks that they may have trouble with TeX 3.0.
   % This uses \immediate\write16 rather than \message to get newlines.
     \immediate\write16{}
-    \immediate\write16{***WARNING*** for users of Unix TeX 3.0!}
+    \immediate\write16{* * * WARNING * * * for users of Unix TeX 3.0!}
     \immediate\write16{This manual trips a bug in TeX version 3.0 (tex hangs).}
     \immediate\write16{If you are running another version of TeX, relax.}
     \immediate\write16{If you are running Unix TeX 3.0, kill this TeX process.}

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