diff --git a/odoc.opam b/odoc.opam
index 6d5e9ed84a..b2f2663327 100644
--- a/odoc.opam
+++ b/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"
diff --git a/src/odoc/bin/main.ml b/src/odoc/bin/main.ml
index 2bc5075767..3d0a8320c8 100644
--- a/src/odoc/bin/main.ml
+++ b/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 _ ->
diff --git a/src/odoc/etc/odoc.css b/src/odoc/etc/odoc.css
index 094e258d8c..c80edffaef 100644
--- a/src/odoc/etc/odoc.css
+++ b/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');
diff --git a/src/odoc/root.ml b/src/odoc/root.ml
index 35a3fdfcff..aead7a4597 100644
--- a/src/odoc/root.ml
+++ b/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