[Bug-XBoard] Help Man does not work in Xboard GTK

[Joshua Pettus]

I noticed that even on my linux install, xboard isn’t even sending a call for 
“xterm” when man xboard  is selected under the help menu.  Info works just fine 
though. 
But something is not right with this passage under gtk/xboard.c:

ManInner (Widget w, XEvent *event, String *prms, Cardinal *nprms)
{   // called as key binding
    char buf[MSG_SIZ];
    String name;
    if (nprms && *nprms > 0)
      name = prms[0];
    else
      name = "xboard";
    snprintf(buf, sizeof(buf), "xterm -e man %s &", name);
    system(buf);
}
#endif

void
ManProc ()
{   // called from menu
#ifdef TODO_GTK
    ManInner(NULL, NULL, NULL, NULL);
#endif
}

Of course this works in Xaw version of xboard, so I wonder if the #ifdef 
TODO_GTK is where it’s getting hung up.