Re: Typos in the manual

[Neil Jerram]

Mark Harig <address@hidden> writes:

> Likewise, "make an intervention" implies that the author intends to
> intervene or stop or prevent something.  But the author is not hoping
> to stop compiler junkies from continuing their habit of writing code
> for compilers -- to the contrary.  Given the text that follows this
> phrase, "make an interjection" is probably what was intended.
> Alternatively, "make an entreaty" would describe the type of
> interjection that is to follow.

Thanks.  I agree that "make an intervention" isn't right.  I've gone for
"At this point we take a detour from the impersonal tone of the rest of
the manual."  Does that sound OK?

    Neil