In particular, add documentation configuration system, through the
doc/config.texi file.

Fix trac issue #2374.