Fix default name error (#1008)

Author: chopins

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>