[mkgmap-dev] Commit r4452: documentation improvements and program to generate help file options from doc/options.txt

Version mkgmap-r4452 was committed by gerd on Sat, 15 Feb 2020 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 http://www.mkgmap.org.uk/websvn/revision.php?repname=mkgmap&rev=4452