-
Stefano Sabatini authored
In particular, add documentation configuration system, through the doc/config.texi file. Fix trac issue #2374.
Stefano Sabatini authoredIn particular, add documentation configuration system, through the doc/config.texi file. Fix trac issue #2374.