Add missing pixman flag to index.md

lowRISC · Oct 2, 2024 · 0b6007a · 0b6007a
1 parent 3f5d323
commit 0b6007a
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/docs/opentitan/index.md b/docs/opentitan/index.md
@@ -13,15 +13,16 @@ Note: never tested on Windows hosts.
 mkdir build
 cd build
 ../configure --target-list=riscv32-softmmu --without-default-features --enable-tcg \
-    --enable-tools --enable-trace-backends=log [--enable-gtk | --enable-cocoa]
+    --enable-tools --enable-trace-backends=log \
+    [--enable-gtk --enable-pixman | --enable-cocoa]
 ninja
 ninja qemu-img
 ````
 
-* `--enable-gtk` and `--enable-cocoa` are only useful when using a graphical display, such as the
-  IbexDemo platform. It is mosly useless with the OpenTitan platform.
+* `--enable-gtk --enable-pixman` and `--enable-cocoa` are only useful when using a graphical
+  display, such as the IbexDemo platform. It is mosly useless with the OpenTitan platform.
 
-    * `--enable-gtk` should be used on Linux hosts
+    * `--enable-gtk --enable-pixman` should be used on Linux hosts
     * `--enable-cocoa` should be used on macOS hosts
 
 ### Useful build options