-fmudflap and -fmudflapth

[Rafael Espíndola]

The gcc documentation says:

----------------------------------------
  Use `-fmudflapth' instead of `-fmudflap' to compile and to link if
your program is multi-threaded.
----------------------------------------

but the mudflap gate is

static bool
gate_mudflap (void)
{
  return flag_mudflap != 0;
}

so one must use -fmudflapth in addition to -fmudflap. Right? Should I
fix the documentation?

Thanks?
Rafael