From a3b6d6f441caacb2c51a8198d57aff54b238948b Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 26 Oct 2020 17:24:32 +0100
Subject: [PATCH] Fixes anchor link in Scandium installation
---
html/installations/scandium.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/html/installations/scandium.md b/html/installations/scandium.md
index 12c9f62f..9862db1c 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)
--
GitLab