Release 1.4.0

Author: aantron

src/odoc/bin/main.ml

@@ -413,7 +413,7 @@ let () =
         (String.concat ~sep:", " available_subcommands)
     in
     Term.(const print_default $ const ()),
-    Term.info ~version:"%%VERSION%%" "odoc"
+    Term.info ~version:"1.4.0" "odoc"
   in
   match Term.eval_choice ~err:Format.err_formatter default subcommands with
   | `Error _ ->

src/odoc/etc/odoc.css

@@ -1,7 +1,7 @@
 @charset "UTF-8";
 /* Copyright (c) 2016 The odoc contributors. All rights reserved.
    Distributed under the ISC license, see terms at the end of the file.
-   %%NAME%% %%VERSION%% */
+   odoc 1.4.0 */
 
 /* Fonts */
 @import url('https://fonts.googleapis.com/css?family=Fira+Mono:400,500');

src/odoc/root.ml

@@ -16,7 +16,7 @@
 
 
 
-let magic = "odoc-%%VERSION%%"
+let magic = "odoc-1.4.0"
 
 let load file ic =
   let m = really_input_string ic (String.length magic) in