Translate GNU info files into HTML pages