9fc337
Update `manual.conf' configuration file used to write documentation manuals in texinfo format. - Update comment.