Generate doc/man/isympy.1 from the isympy.xml source
Merge pull request #7269 from skirpichev/generate-man

Generate doc/man/isympy.1 from the isympy.xml source