diff --git a/doc/build-osx.md b/doc/build-osx.md
index 8c1aa2e9c5..4f8e72307b 100644
--- a/doc/build-osx.md
+++ b/doc/build-osx.md
@@ -149,20 +149,11 @@ In that case the Homebrew package will prevail.
 
 #### Berkeley DB
 
-It is recommended to use Berkeley DB 4.8. If you have to build it yourself,
-you can use [this](/contrib/install_db4.sh) script to install it
-like so:
+It is recommended to use Berkeley DB 4.8. The Homebrew package can be
+installed with:
 
 ```shell
-./contrib/install_db4.sh .
-```
-
-from the root of the repository.
-
-Also, the Homebrew package could be installed:
-
-```shell
-brew install berkeley-db4
+brew install berkeley-db@4
 ```
 
 ## Build BGL Core
diff --git a/doc/release-process.md b/doc/release-process.md
index b4dd7f29ee..38f1ed9df8 100644
--- a/doc/release-process.md
+++ b/doc/release-process.md
@@ -175,9 +175,9 @@ popd
    cmake -B $build -DCMAKE_INSTALL_PREFIX=$dir && cmake --build $build --target install && ls -RlAh $dir
    gcc -o ecdsa examples/ecdsa.c -I $dir/include -L $dir/lib*/ -l secp256k1 -Wl,-rpath,"$dir/lib",-rpath,"$dir/lib64" && ./ecdsa
    ```
-4. Use the [`check-abi.sh`](/tools/check-abi.sh) tool to verify that there are no unexpected ABI incompatibilities and that the version number and the release notes accurately reflect all potential ABI changes. To run this tool, the `abi-dumper` and `abi-compliance-checker` packages are required.
+4. Use the [`check-abi.sh`](/src/secp256k1/tools/check-abi.sh) tool to verify that there are no unexpected ABI incompatibilities and that the version number and the release notes accurately reflect all potential ABI changes. To run this tool, the `abi-dumper` and `abi-compliance-checker` packages are required.
    ```shell
-   tools/check-abi.sh
+   src/secp256k1/tools/check-abi.sh
    ```
 
 Then open a Pull Request to the [guix.sigs repository](https://github.com/bitcoin-core/guix.sigs).