CGI program to convert GNU .info files into html