diff options
author | Peter Simons <simons@cryp.to> | 2016-06-06 10:20:39 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2016-06-06 11:52:17 +0200 |
commit | 3332defad74aaa264cf8a7fb411c6d84e20d5bf5 (patch) | |
tree | d7fa091216477b3e0ad0394e4b8e45a7aa461558 /.travis.yml | |
parent | 5c7842f08df3aae7d85c60c0bf1875ec3450d44b (diff) | |
download | autoconf-archive-3332defad74aaa264cf8a7fb411c6d84e20d5bf5.tar.gz |
travis.yml: don't build the web-manual target any more
The makeinfo tool provided by Ubuntu is too old for that.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 4 |
1 files changed, 3 insertions, 1 deletions
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 |