Merge branch 'feature/blanchard/ci/manuals' into 'master'

[ci] improved manuals target

Closes #1323

See merge request frama-c/frama-c!4383

.gitlab-ci.yml

@@ -309,16 +309,32 @@ lint:
 manuals:
   <<: *manuals_template
   except:
+    refs:
+      - schedules
     variables:
       - $RELEASE == "yes"
   when: manual
 
+manuals-changed:
+  <<: *manuals_template
+  only:
+    changes:
+      - doc/**/*
+
+manuals-nightly:
+  <<: *manuals_template
+  only:
+    - schedules
+  allow_failure: true
+
 manuals-for-release:
   <<: *manuals_template
   only:
     variables:
       - $RELEASE == "yes"
 
+# Release artifacts
+
 release-content:
   stage: distrib
   script: