From ea86ef9f83e326d265fd3967be9e141078619bf5 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Sat, 14 Jun 2025 15:06:05 +1200
Subject: [PATCH] docs: Fix formatting

---
 docs/source/using_yosys/bugpoint.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/using_yosys/bugpoint.rst b/docs/source/using_yosys/bugpoint.rst
index ce84fd285..60cabd879 100644
--- a/docs/source/using_yosys/bugpoint.rst
+++ b/docs/source/using_yosys/bugpoint.rst
@@ -270,7 +270,7 @@ lines or object names that might be causing the failure, and back up your source
 code before modifying it.  If you have multiple source files, you should start
 by reducing them down to a single file.  If a specific file is failing to read,
 try removing everything else and just focus on that one.  If your source uses
-the `include` directive, replace it with the contents of the file referenced.
+the ``include`` directive, replace it with the contents of the file referenced.
 
 Unlike RTLIL designs where we can use `bugpoint`, Yosys does not provide any
 tools for minimizing Verilog designs.  Instead, you should use an external tool