[mkgmap-dev] Commit r4086: improve documentation of command line options

Version mkgmap-r4086 was committed by gerd on Wed, 24 Jan 2018 improve documentation of command line options Patch configdoc3.patch by Mike Baggaley http://www.mkgmap.org.uk/websvn/revision.php?repname=mkgmap&rev=4086