Author | SHA1 | Message | Date |
---|---|---|---|
|
9b4d9d8795 |
doc: enable compilation of -all tool pages
In particular, add documentation configuration system, through the doc/config.texi file. Fix trac issue #2374. |
12 years ago |