Last modification |
View Log
| RSS feed
Last modification
- Rev 4452 2020-02-15 07:41:44
- Author: gerd
- Log message:
- documentation improvements and program to generate help file options from doc/options.txt
Based on patches from Mike Baggaley
To generate help/en/options from doc/options.txt use
ant gen-options-file
Take care: no backup is made, manual changes are overwritten