Bruce Perens writes ("Re: Documentation formats"): ... > The unification of Debian documentation will be carried out via > HTML. You should not consider the merits of a particular HTML viewer, > or even the weight of the best of our existing HTTP servers. These things > will change with time, and without effort on our part. Instead, you > should concentrate in providing automatic means to present man files, > info files, and other various forms of documentation to the user. This > can be done at run-time via CGI scripts, or when the documentation packages > are installed. Use existing software where possible. Try to consider disk > space, but having a full documentation system takes priority over that. > A keyword search facility and a unifying set of indices are a high > priority.
Texinfo-generated info files are very common for obvious reasons. Do we start distributing Texinfo-generated HTML instead ? (Is texi2html any good ?) Or do we do some kind of display-time conversion from info to HTML ? Or leave the question for the moment ? Ian.