<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div><blockquote type="cite" class=""><div class=""><div class="gmail_quote" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">On September 15, 2018 4:11:05 AM PDT, Willem Ferguson <<a href="mailto:willemferguson@zoology.up.ac.za" class="">willemferguson@zoology.up.ac.za</a>> wrote:<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left-width: 1px; border-left-style: solid; border-left-color: rgb(204, 204, 204); padding-left: 1ex;"><pre class="k9mail">Dear Lubomir, Dirk,<br class=""><br class="">Please look at #1277. Github told me at the time that this PR was pulled <br class="">and it is indeed reflected in the latest master user-manual.txt in <br class="">src/subsurface/Documentation. BUT it is clearly NOT in the present <br class="">user-manual.html in subsurface/build/Documentation. There must be some <br class="">issue with the build script or am I going mad?<br class=""></pre></blockquote></div></div></blockquote></div><br class=""><div class=""><div class="">My current guess is that you are missing a few tools and that our build system silently gives you the HTML files that are stored in git.</div><div class="">On Ubuntu you need to run</div><div class=""><br class=""></div><div class="">sudo apt install asciidoc w3m</div><div class=""><br class=""></div><div class="">in order to be able to create the HTML files from source.</div><div class=""><br class=""></div><div class="">Additionally, most of the .txt files had errors in them which caused the conversion to HTML to fail, as a result of which the HTML versions stored in git were outdated.</div><div class="">I fixed all of those (but for the French version for example they need to be reflected in the tooling used to create the translation) and pushed new .html.git files.</div><div class=""><br class=""></div><div class="">With this you should see the updates that you were missing.</div><div class=""><br class=""></div><div class="">/D</div><div class=""><br class=""></div><div><blockquote type="cite" class=""><div class=""></div></blockquote></div></div></body></html>