Changed man page generation input from file instead of stdin