
<html><head></head><body>I believe I know what's wrong. I won't be at my computer for a few hours, but will address this later today<br><br>/D<br><br><div class="gmail_quote">On September 15, 2018 4:11:05 AM PDT, Willem Ferguson <willemferguson@zoology.up.ac.za> wrote:<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<pre class="k9mail">Dear Lubomir, Dirk,<br><br>Please look at #1277. Github told me at the time that this PR was pulled <br>and it is indeed reflected in the latest master user-manual.txt in <br>src/subsurface/Documentation. BUT it is clearly NOT in the present <br>user-manual.html in subsurface/build/Documentation. There must be some <br>issue with the build script or am I going mad?<br><br>Kind regards,<br><br>willem<br><br><br></pre></blockquote></div><br>-- <br>From my phone</body></html>