[mkgmap-dev] Commit: r3657: Use the up-to-date 'options' file for the distibution documentation.

Version mkgmap-r3657 was committed by steve on Wed, 06 Jan 2016 Use the up-to-date 'options' file for the distibution documentation. Update doc/options.txt to match, this needs further thought so that it happens automatically.