[mkgmap-dev] Commit r4479: improve documentation: options4.txt.patch by Mike Baggaley