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

(cherry picked from commit fc834aa4bc) (cherry picked from commit 6464b2e962)
2019-08-29 16:03:25 +02:00
parent 10fcfe65fe
commit 82d41bd33d
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