Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
In particular, add documentation configuration system, through the doc/config.texi file. Fix trac issue #2374.