Documentation: fix warning in cat-texi.perl