Von: mkgmap-dev im Auftrag von Mike
Baggaley
Gesendet: Freitag, 14. Februar 2020 17:56
An: 'Development list for mkgmap'
Betreff: Re: [mkgmap-dev] Minor documentation update
Hi Gerd, I had seen your post, but it came while I was away, so it wasn't
practical to view the patch on my phone. I
would really be better as .
Regards,
Mike
-Original Message-
From: Gerd Petermann [mailto:gpetermann_muenc...@hotmail.com]
Sent: 14 February 2020 06:00
To: 'Development list for mkgmap'
Subject: Re: [mkgmap-dev] Minor documentation update
Hi Mike,
sorry for the delay. It seems you did
script so that options is
not automatically overwritten, instead one has to use
ant options-file
to "compile" it.
Gerd
Von: mkgmap-dev im Auftrag von Mike
Baggaley
Gesendet: Mittwoch, 12. Februar 2020 12:44
An: 'Development list for mkgmap'
Betreff
Hi Gerd, now that my previous documentation patch has been committed, I have
noticed a couple of errors in it that I didn't notice because I didn't have
the means to compile it into the web pages. Please find attached a small
patch that corrects these errors and adds some information on the input