diff --git a/.travis.yml b/.travis.yml
index 902028a6..fcb2cfe6 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -32,4 +32,3 @@ script:
   - make build
   - opam install sequence qcheck qtest gen
   - make test
-  - make doc