diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 452c0fb533057106918fbe611f3de0b6b6d87676..7d0dceb11ce0eda0cbc99b9b8cfbd277a65197af 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,7 +23,7 @@ variables:
 ### TESTS
 
 check-headers:
-  stage: tests
+  stage: prepare-release
   variables:
     CI_MODE: "check-headers"
   script:
@@ -67,6 +67,8 @@ make-manual:
   variables:
     CI_MODE: "manual"
     DEFAULT: "plugin-release-script"
+  artifacts:
+    "manual/*.pdf"
   script:
     - ./nix/ci.sh
 
@@ -75,13 +77,14 @@ make-manual:
 
 release:
   stage: release
-  needs: [check-opam]
+  needs: [check-opam manual]
   variables:
     CI_MODE: "release"
     PLUGIN_FULL_NAME: "Frama-Clang"
     REPO: "frama-clang"
     RELEASE_OPT: "--assume-yes"
     DEFAULT: "plugin-release-script"
+    MANUAL_DIR: "manual"
   script:
     - ./nix/ci.sh
   when: manual
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 410a185c162d419b79b455c855b95b280cdeab17..64b613c57d49346fa79b1a2696627c5365c6e0ed 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,9 @@
+# Version 0.0.16
+
+- Better handling of ACSL constructions
+- Compatibility with Clang 18
+- Compatibility with Frama-C 29 Copper
+
 # Version 0.0.15
 
 - Better handling of mixed C/C++ code and `extern "C"` declarations
diff --git a/DESCRIPTION.md b/DESCRIPTION.md
new file mode 100644
index 0000000000000000000000000000000000000000..efe8673164dd5c3c37f91f933e22eb9f25b9728e
--- /dev/null
+++ b/DESCRIPTION.md
@@ -0,0 +1 @@
+Frama-Clang is an experimental C++ front-end for Frama-C, based on the clang compiler
diff --git a/nix/frama-clang-manual.nix b/nix/frama-clang-manual.nix
index 03349f9f4e57eafcfa1534190349582518ee8520..dd6dad03919a603b6f0013cbbf36b59f7d16e9dc 100644
--- a/nix/frama-clang-manual.nix
+++ b/nix/frama-clang-manual.nix
@@ -28,7 +28,7 @@ stdenv.mkDerivation rec {
   '';
 
   installPhase = ''
-    mkdir -p $out
-    cp ./doc/userman/main.pdf $out/fclang-manual.pdf
+    mkdir -p $out/manual
+    cp ./doc/userman/main.pdf $out/manual/frama-clang-manual-$version.pdf
   '';
 }