diff --git a/util/build_docs.py b/util/build_docs.py
index a8634fa..072cc2d 100755
--- a/util/build_docs.py
+++ b/util/build_docs.py
@@ -78,6 +78,7 @@
         "hw/top_earlgrey/ip/rstmgr/data/autogen/rstmgr.hjson",
         "hw/top_earlgrey/ip/sensor_ctrl/data/sensor_ctrl.hjson",
         "hw/top_earlgrey/ip/rv_plic/data/autogen/rv_plic.hjson",
+        "hw/ip/rv_core_ibex/data/rv_core_ibex.hjson",
         "hw/ip/rv_timer/data/rv_timer.hjson",
         "hw/ip/spi_host/data/spi_host.hjson",
         "hw/ip/spi_device/data/spi_device.hjson",