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.