doc/conf.py: generate texinfo_documents list from man_pages list