[m-rev.] trivial diff: fix a typo in the user guide

[Peter Moulder]

On Wed, Jul 27, 2005 at 12:36:20AM +1000, Julien Fischer wrote:

> --- doc/user_guide.texi	22 Jul 2005 06:57:49 -0000	1.444
> +++ doc/user_guide.texi	26 Jul 2005 14:16:29 -0000
> @@ -4179,7 +4179,7 @@
>  term browser and asserts that the marked subterm is incorrect.  The
>  declarative debugger uses this information to better direct the bug search.
>  If no argument is given the the current subterm is taken to be incorrect.
> -If a @var{term-path} is given then the subterm at @var{tern-path} relative to
> +If a @var{term-path} is given then the subterm at @var{term-path} relative to

The line above that has a `the the' mistake.

(Perhaps do a global search for `the the', as this seems a relatively
common error.  It's especially hard to spot when the repeated word is at
the end of one line and the beginning of the next; perhaps something
like

  perl -e '
      $/ = "";
      while(<>) {
        s/\n/ /g;
	if (/\b([a-z]+) +\1\b/) {
          print "$1 $1: $_\n\n";
	}
      }'   INPUT FILES...   |
    less -p '^([a-z]+) \1:.*\<\1 +\1\>'

I just ran that on a draft paper our group submitted recently, and it
found three such mistakes plus two false matches.)

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