Thanks. Applied! Cheers, Michael On 11/17/13 11:38, David Prévot wrote: > --- > man2/perf_event_open.2 | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/man2/perf_event_open.2 b/man2/perf_event_open.2 > index 1889689..9eb92cb 100644 > --- a/man2/perf_event_open.2 > +++ b/man2/perf_event_open.2 > @@ -699,7 +699,7 @@ records from various different event sources with different > settings. > Parsing the event stream properly was not possible because the > format of the record was needed to find SAMPLE_ID, but > -the the format could not be found without knowing what > +the format could not be found without knowing what > event the sample belonged to (causing a circular > dependency). > > -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
