tools: fix man-page generation on Windows