Skip to content

Commit

Permalink
Release 1.4.2
Browse files Browse the repository at this point in the history
  • Loading branch information
aantron committed Sep 19, 2019
1 parent b77f282 commit 6702e72
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion odoc.opam
Original file line number Diff line number Diff line change
@@ -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"
Expand Down
2 changes: 1 addition & 1 deletion src/odoc/bin/main.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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 _ ->
Expand Down
2 changes: 1 addition & 1 deletion src/odoc/etc/odoc.css
Original file line number Diff line number Diff line change
@@ -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');
Expand Down
2 changes: 1 addition & 1 deletion src/odoc/root.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 6702e72

Please sign in to comment.