Obtain name of XBoard's man file from external command
[xboard.git] / xaw / .dirstamp