From 7233fe6e87cca082afd0e4e27a1c71d5a5553ebf Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Tue, 25 Nov 2025 13:15:41 +1300
Subject: [PATCH] docs: Re-enable yoscrypt lexer

We are already using `furo-ys` for `SBYLexer`, we just needed `YoscryptLexer` as well.
---
 docs/source/conf.py     | 3 +++
 docs/source/verific.rst | 1 +
 2 files changed, 4 insertions(+)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 99813a2..a2c99f4 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -24,3 +24,6 @@ extensions += ['sphinxarg.ext']
 def setup(app: Sphinx) -> None:
     from furo_ys.lexers.SBYLexer import SBYLexer
     app.add_lexer("sby", SBYLexer)
+
+    from furo_ys.lexers.YoscryptLexer import YoscryptLexer
+    app.add_lexer("yoscrypt", YoscryptLexer)
diff --git a/docs/source/verific.rst b/docs/source/verific.rst
index 81b20d5..224a5e3 100644
--- a/docs/source/verific.rst
+++ b/docs/source/verific.rst
@@ -151,6 +151,7 @@ by a SystemVerilog file ``formal_bind.sv``.
 .. _vhd_example: https://github.com/YosysHQ/sby/tree/master/docs/examples/vhd
 
 .. literalinclude:: ../examples/vhd/formal_bind.sby
+  :language: yoscrypt
   :start-after: [script]
   :end-before: [files]
   :caption: ``formal_bind.sby`` script section