diff options
Diffstat (limited to 'doc/html/build/doing_build.html')
| -rw-r--r-- | doc/html/build/doing_build.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/html/build/doing_build.html b/doc/html/build/doing_build.html index 6053b399e739..26c6d09e5991 100644 --- a/doc/html/build/doing_build.html +++ b/doc/html/build/doing_build.html @@ -15,7 +15,7 @@ <script type="text/javascript"> var DOCUMENTATION_OPTIONS = { URL_ROOT: '../', - VERSION: '1.15.1', + VERSION: '1.16', COLLAPSE_INDEX: false, FILE_SUFFIX: '.html', HAS_SOURCE: true @@ -267,7 +267,7 @@ should run <tt class="docutils literal"><span class="pre">autoreconf</span></tt> <div class="footer-wrapper"> <div class="footer" > - <div class="right" ><i>Release: 1.15.1</i><br /> + <div class="right" ><i>Release: 1.16</i><br /> © <a href="../copyright.html">Copyright</a> 1985-2017, MIT. </div> <div class="left"> |