From d1334f50d9cc70c23350ffe939362c209664d43d Mon Sep 17 00:00:00 2001
From: Szopen Xiao <chopins.xiao@gmail.com>
Date: Mon, 19 Jan 2026 11:48:39 +0800
Subject: [PATCH] Fix default name error

fix highlight.html to highlight.default
---
 reference/misc/ini.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/reference/misc/ini.xml b/reference/misc/ini.xml
index 549b5a0e6..87d84fc52 100644
--- a/reference/misc/ini.xml
+++ b/reference/misc/ini.xml
@@ -43,7 +43,7 @@
       <entry></entry>
      </row>
      <row>
-      <entry><link linkend="ini.syntax-highlighting">highlight.html</link></entry>
+      <entry><link linkend="ini.syntax-highlighting">highlight.default</link></entry>
       <entry>"#0000BB"</entry>
       <entry><constant>INI_ALL</constant></entry>
       <entry></entry>