Wolfgang Hess
|
c866707013
|
Fix the configuration documentation script. (#679)
Fixes #652.
Now also includes documentation for one option that was "repeated"
and not "optional".
|
2017-11-15 14:17:33 +01:00 |
|
Wolfgang Hess
|
1f27268664
|
Add resolution of option types to the documentation script. (#180)
|
2017-01-10 12:23:10 +01:00 |
|
Wolfgang Hess
|
1c433e6f3a
|
Refactor the documentation update script. (#179)
|
2017-01-10 10:43:16 +01:00 |
|
Wolfgang Hess
|
cd0ebbf536
|
Add the configuration doc and an update script. (#172)
|
2016-12-21 16:21:43 +01:00 |