Don't fail if the doc cannot be build

22505f0e · erwan · c0a49190 · 22505f0e · 22505f0e · 22505f0e
Commit 22505f0e authored Dec 14, 2017 by erwan
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 4 deletions

Makefile Makefile +1 -1

_oasis _oasis +1 -1

doc/lutin-man/lutin-man.pdf doc/lutin-man/lutin-man.pdf +0 -0

lutin/src/version.ml lutin/src/version.ml +2 -2

No files found.
--- a/Makefile
+++ b/Makefile
@@ -32,7 +32,7 @@ doc:
 	ocaml setup.ml -doc

 man:
-	cd doc/lutin-man/ && make
+	cd doc/lutin-man/ && make || echo "cannot build the doc"


 install:

--- a/_oasis
+++ b/_oasis
 OASISFormat: 0.4
 Name:        Lutin
-Version:     2.39
+Version:     2.40
 Authors:     Erwan Jahier
 Maintainers: erwan.jahier@imag.fr
 License:     PROP

--- a/doc/lutin-man/lutin-man.pdf
+++ b/doc/lutin-man/lutin-man.pdf
--- a/lutin/src/version.ml
+++ b/lutin/src/version.ml
-let str="2.39"
-let sha="d42b5b1"
+let str="2.40"
+let sha="c0a4919"