diff --git a/doc/dev-manual/dev-manual.pdf b/doc/dev-manual/dev-manual.pdf
index 5a647869eb6..1839d583483 100644
Binary files a/doc/dev-manual/dev-manual.pdf and b/doc/dev-manual/dev-manual.pdf differ
diff --git a/doc/man/opam-check.1 b/doc/man/opam-check.1
index 45f546be94a..ba71ae88523 100644
--- a/doc/man/opam-check.1
+++ b/doc/man/opam-check.1
@@ -1,4 +1,4 @@
-.TH OPAM 1 "20/02/2013" "OPAM 1.1.1" "OPAM Manual"
+.TH "OPAM" "1" "20/02/2013" "OPAM 1.1.1" "OPAM Manual"
 .SH NAME
 .PP
 opam\-check \- a Tool check that OPAM repositories are consistent
diff --git a/doc/tutorials/Basic_Usage.pdf b/doc/tutorials/Basic_Usage.pdf
index f539b5eb564..3160043218d 100644
Binary files a/doc/tutorials/Basic_Usage.pdf and b/doc/tutorials/Basic_Usage.pdf differ