diff --git a/html/installations/scandium.md b/html/installations/scandium.md index 12c9f62fba85ac6029d8d9a3531a42ffd2d3f87d..9862db1ca2ac8e117aa71196149d037c850c0819 100644 --- a/html/installations/scandium.md +++ b/html/installations/scandium.md @@ -12,7 +12,7 @@ title: Installation instructions for Scandium - [Installing Frama-C from opam repository](#installing-frama-c-from-opam-repository) - [Installing Custom Versions of Frama-C](#installing-custom-versions-of-frama-c) - [Installing Frama-C on Windows via WSL](#installing-frama-c-on-windows-via-wsl) - - [Installing Frama-C on macOS](#installing-frama-c-on-mac-os) + - [Installing Frama-C on macOS](#installing-frama-c-on-macos) - [Installing Frama-C via your Linux distribution (Debian/Ubuntu/Fedora)](#installing-frama-c-via-your-linux-distribution-debianubuntufedora) - [Compiling from source](#compiling-from-source) - [Quick Start](#quick-start)