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

[Zoltan Somogyi]

On 27-Jul-2005, Peter Moulder <Peter.Moulder at infotech.monash.edu.au> wrote:
> (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\>'

~zs/bin/script/double has been around since 1997 for finding such problems.
It is a lot more readable than the line noise above.

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