diff options
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 |