From 3332defad74aaa264cf8a7fb411c6d84e20d5bf5 Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Mon, 6 Jun 2016 10:20:39 +0200
Subject: travis.yml: don't build the web-manual target any more

The makeinfo tool provided by Ubuntu is too old for that.
---
 .travis.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index f6b9bb5..d7f5656 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -24,4 +24,6 @@ script:
   - ./configure
   - make PYTHON=python3 -j$(nproc) maintainer-all all
   - make distcheck
-  - make web-manual && ./fix-website.sh
+  # makeinfo is too old for those steps. :-(
+  # - make web-manual
+  # - ./fix-website.sh
-- 
cgit v1.2.1