Re: [PATCH] Update to user manual for V4.7

2017-10-21 Thread Willem Ferguson
>From phone. 1st issue caught already, 2nd issue will do. Thanks for commenting! Kind regards, Willem On 21 Oct 2017 9:56 AM, "Robert Helling" wrote: > Willem, > > On 19. Oct 2017, at 08:52, Willem Ferguson za> wrote: > > 4) Several details

Fwd: Re: [PATCH] Update to user manual for V4.7 (patch 2)

2017-10-20 Thread Willem Ferguson
On 20/10/2017 20:15, Dirk Hohndel wrote: Unfortunately the patch again didn't apply. I assume your sources are actually different from master. I used the share version (thanks for doing that) and just pushed that out to master. Please verify that this is what you want it to look like :-)

Fwd: [PATCH] Update to user manual for V4.7 (patch 2)

2017-10-20 Thread Willem Ferguson
Forwarded Message Subject:[PATCH] Update to user manual for V4.7 (patch 2) Date: Thu, 19 Oct 2017 22:14:55 +0200 From: Willem Ferguson <willemfergu...@zoology.up.ac.za> Reply-To: willemfergu...@zoology.up.ac.za Organization: University of Pr

[PATCH] Update to user manual for V4.7 (patch 2)

2017-10-19 Thread Willem Ferguson
Subject:  [PATCH] Update to user manual for V4.7 (patch 2) What the title says. I fixed s number of errors that arised when the user manual was merged with previous versions. I edited the section "Obtaining more information using the Dive Map" Signed-off-by: Willem Ferguson &l

Re: [PATCH] Update to user manual for V4.7

2017-10-19 Thread Dirk Hohndel
> On Oct 19, 2017, at 8:06 AM, Willem Ferguson > wrote: > > On 19/10/2017 12:43, Dirk Hohndel wrote: >> On Thu, Oct 19, 2017 at 08:52:54AM +0200, Willem Ferguson wrote: >>> Attached a patch. Apologies for the old-fashioned way of doing this. >> Can you update

Re: [PATCH] Update to user manual for V4.7

2017-10-19 Thread Willem Ferguson
On 19/10/2017 12:43, Dirk Hohndel wrote: On Thu, Oct 19, 2017 at 08:52:54AM +0200, Willem Ferguson wrote: Attached a patch. Apologies for the old-fashioned way of doing this. Can you update to the latest master (I just pushed this out) and make sure that what I have there is what you wanted?

Re: [PATCH] Update to user manual for V4.7

2017-10-19 Thread Dirk Hohndel
On Thu, Oct 19, 2017 at 08:52:54AM +0200, Willem Ferguson wrote: > Attached a patch. Apologies for the old-fashioned way of doing this. I'm happy to take patches as well. Unfortunately this one didn't apply cleanly and I had to do a bit of hand editing to make it work - which always has me