diff --git a/bin/build-src-distrib.sh b/bin/build-src-distrib.sh
index eec32ca3d2727b4af96d0008f390c2a38fdecf28..efda42643c9bf1b79817c11114274f15e70b74a6 100755
--- a/bin/build-src-distrib.sh
+++ b/bin/build-src-distrib.sh
@@ -799,7 +799,7 @@ case "${STEP}" in
         echo >> "$OUT_DIR/opam"
         echo "url {" >> "$OUT_DIR/opam"
         echo "  src: \"https://git.frama-c.com/pub/frama-c/-/wikis/downloads/$TARGZ_FILENAME\"" >> "$OUT_DIR/opam"
-        echo "  checksum: \"md5=$(md5sum $OUT_DIR/$TARGZ_FILENAME | cut -d" " -f1)\"" >> "$OUT_DIR/opam"
+        echo "  checksum: \"sha256=$(sha256sum $OUT_DIR/$TARGZ_FILENAME | cut -d" " -f1)\"" >> "$OUT_DIR/opam"
         echo "}" >> "$OUT_DIR/opam"
         ;&
     10)
diff --git a/doc/Makefile b/doc/Makefile
index 1c6f1d1a70e6664b9ec64199036362a86b98d649..951a81503686c5cc03831857d5e4682cb817678b 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -87,7 +87,7 @@ clean::
 	$(RM) manuals/*.pdf
 	$(RM) manuals/*.tgz
 	$(MAKE) -C userman clean
-	$(MAKE) -C developer clean
+	$(MAKE) -C developer dist-clean
 	$(MAKE) -C rte clean
 	$(MAKE) -C aorai clean
 	$(MAKE) -C value clean