- Regenerate info files from the corresponding .texi files. - Remove an empty file. Submitted by: KIMURA Yasuhiro (committed with modification) PR: ports/80644