Obtain name of XBoard's man file from external command
[xboard.git] / pixmaps / board48.png
pixmaps/board48.png