From e2be81d40123bdaf2af835bc57ccf75952843cf3 Mon Sep 17 00:00:00 2001
From: c-kloukinas <c.kloukinas@gmail.com>
Date: Sun, 29 Mar 2026 23:54:13 +0100
Subject: [PATCH] Combined manual and ecl building in one task.

---
 .gitlab-ci.yml | 26 ++++++--------------------
 1 file changed, 6 insertions(+), 20 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7b4d4b451..a4ec90dcb 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,31 +1,17 @@
-pdf-manual:
-  stage: build
-  # instead of calling g++ directly you can also use some build toolkit like make
-  # install the necessary build tools when needed
-  before_script:
-    - apt update && apt -y install texinfo texlive-base texlive-plain-generic
-  artifacts:
-    paths:
-    - target-dir
-  script:
-    - ./configure --prefix=${CI_PROJECT_DIR}/target-dir/
-    - mkdir -p ${CI_PROJECT_DIR}/target-dir/ ; make doc ; cd build/doc/ ; make manual ; cd manual ; make ecl-manual.pdf ; cp -p ecl-manual.pdf ${CI_PROJECT_DIR}/target-dir/
-  rules:
-    - if: $CI_COMMIT_BRANCH == "develop"
-    - if: $CI_PIPELINE_SOURCE == "merge_request_event"
-
 build:
   stage: build
-  # instead of calling g++ directly you can also use some build toolkit like make
-  # install the necessary build tools when needed
-  # before_script:
-  #   - apt update && apt -y install texinfo texlive-base texlive-plain-generic
+  before_script:
+    - apt update && apt -y install texinfo texlive-base texlive-plain-generic
+    # instead of calling g++ directly you can also use some build toolkit like make
+    # install the necessary build tools when needed
+  #   - apt update && apt -y install make autoconf
   artifacts:
     paths:
     - target-dir
   script:
     - ./configure --prefix=${CI_PROJECT_DIR}/target-dir/
     - make
+    - mkdir -p ${CI_PROJECT_DIR}/target-dir/ ; make doc ; cd build/doc/ ; make manual ; cd manual ; make ecl-manual.pdf ; cp -p ecl-manual.pdf ${CI_PROJECT_DIR}/target-dir/
     - make install
   rules:
     - if: $CI_COMMIT_BRANCH == "develop"