From 96c8b908216a4405e98dfe8b76c3eb4963783dcf Mon Sep 17 00:00:00 2001 From: Joris Date: Wed, 12 Jan 2022 15:41:32 +0000 Subject: [PATCH] Update install_steps_ubuntu.md --- source/installation/install_steps_ubuntu.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/installation/install_steps_ubuntu.md b/source/installation/install_steps_ubuntu.md index 2d12b8d..9ee1b85 100644 --- a/source/installation/install_steps_ubuntu.md +++ b/source/installation/install_steps_ubuntu.md @@ -70,7 +70,7 @@ The BFFH-server can be found at the /target/release folder. To start the server an then: `./diflouroborane -c examples/bffh.dhall` -#BUT# prior to starting bffh, you should first configure the bffh.dhall file (see the Use FabAcess section). +**BUT** prior to starting bffh, you should first configure the bffh.dhall file (see the "Use FabAcess" section).