Further improve the CI by starting the build and docs right after autoreconf

(cherry picked from commit fc834aa4bc)
2019-08-29 15:03:49 +02:00
parent 76e8f7783d
commit 6464b2e962
1 changed files with 0 additions and 1 deletions
@@ -212,7 +212,6 @@ misc:sid:amd64:

 docs:sid:amd64:
  <<: *debian_sid_amd64_image
-  stage: build
  script:
    - ./configure || cat config.log
    - make -C doc/misc docbook