Release 1.4.2

Author: aantron

odoc.opam

@@ -1,6 +1,6 @@
 opam-version: "2.0"
 
-version: "dev"
+version: "1.4.2"
 homepage: "http://github.com/ocaml/odoc"
 doc: "https://github.com/ocaml/odoc#readme"
 bug-reports: "https://github.com/ocaml/odoc/issues"

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.2" "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.2 */
 
 /* 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.2"
 
 let load file ic =
   let m = really_input_string ic (String.length magic) in