diff --git a/docs/variants/hardkernel_odroid_h4/building-manual.md b/docs/variants/hardkernel_odroid_h4/building-manual.md
index caa5374f02..572af99b49 100644
--- a/docs/variants/hardkernel_odroid_h4/building-manual.md
+++ b/docs/variants/hardkernel_odroid_h4/building-manual.md
@@ -15,32 +15,34 @@ This guide shows how to build Dasharo firmware for Hardkernel devices.
 ## Building
 
 To build Dasharo firmware image, first clone the coreboot repository:
-    ```bash
-    git clone https://github.com/Dasharo/coreboot.git
-    ```
-then follow the steps below:
 
-=== "Odroid H4"
+```bash
+git clone https://github.com/Dasharo/coreboot.git
+```
 
-    1. To build a specific version checkout to the version's tag.
+then follow the steps below:
+
+1. To build a specific version checkout to the version's tag.
     Skip this step otherwise.
 
-            ```bash
-            cd coreboot
-            git checkout hardkernel_odroid_h4_<version>
-            ```
-        For example
+    ```bash
+    cd coreboot
+    git checkout hardkernel_odroid_h4_<version>
+    ```
 
-        ```bash
-        git checkout hardkernel_odroid_h4_v0.9.0
-        ```
+    For example
 
-    2. Checkout submodules:
+    ```bash
+    git checkout hardkernel_odroid_h4_v0.9.0
+    ```
+
+2. Checkout submodules:
 
     ```bash
     git submodule update --init --checkout
     ```
-    3. Build the firmware:
+
+3. Build the firmware:
 
     ```bash
     ./build.sh odroid_h4