Use spaces instead of tabs in README

seL4 · Mar 27, 2024 · cd7c93e · cd7c93e
1 parent 440281d
commit cd7c93e
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -57,11 +57,11 @@ To build the documentation you also need
 On a Debian-like system you can do:
 
     $ sudo apt install build-essential git cmake ninja-build \
-	    device-tree-compiler libxml2-utils \
-		pandoc texlive-latex-base texlive-latex-recommended \
-		texlive-fonts-recommended texlive-fonts-extra \
-		python3.9 python3.9-venv \
-		musl-dev musl-tools \
+        device-tree-compiler libxml2-utils \
+        pandoc texlive-latex-base texlive-latex-recommended \
+        texlive-fonts-recommended texlive-fonts-extra \
+        python3.9 python3.9-venv \
+        musl-dev musl-tools \
         qemu-system-arm
 
 If you do not have Python 3.9 available, you can get it via the