Update docs-dev-guide.adoc

Signed-off-by: Kersten Richter <[email protected]>
riscv · Aug 2, 2024 · 169271b · 169271b
1 parent f4664a6
commit 169271b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/docs-dev-guide.adoc b/src/docs-dev-guide.adoc
@@ -69,7 +69,7 @@ include::tables_symbols_math.adoc[]
 
 include::blocks_notes_markers.adoc[]
 
-//include::index_bib.adoc[]
+include::index_bib.adoc[]
 
 include::graphics.adoc[]