These HTML directories are generated automatically from the TeXInfo
source for use on PDO and other platforms that do not support
'texi2html'.