diff options
| author | Peter Simons <simons@cryp.to> | 2019-01-06 19:08:51 +0100 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2019-01-06 19:09:55 +0100 |
| commit | 923f2d91a02e9950217d4cae2cd092944323e8b7 (patch) | |
| tree | 418e3465c5370bdeaa4cd8fea9f443d8b641e11d /.travis.yml | |
| parent | deea73788fd6ab21ad7a9d446b7fe2d47ab01105 (diff) | |
| download | autoconf-archive-923f2d91a02e9950217d4cae2cd092944323e8b7.tar.gz | |
travis.yml: re-enable the web-site generation code
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/.travis.yml b/.travis.yml index d7f5656..3e5d09b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,29 +1,22 @@ # .travis.yml language: c - -sudo: false - git: depth: 50000 addons: apt: packages: - # - gnulib + - gnulib - python3 - texlive - texinfo - tidy -before_install: - - git clone --depth=1 git://git.savannah.gnu.org/gnulib.git - script: - ./bootstrap.sh - ./configure - make PYTHON=python3 -j$(nproc) maintainer-all all - make distcheck - # makeinfo is too old for those steps. :-( - # - make web-manual - # - ./fix-website.sh + - make web-manual + - ./fix-website.sh |