changeset 31115:e8238ae72381

maint: merge stable to default
author Pantxo Diribarne <pantxo.diribarne@gmail.com>
date Tue, 28 Jun 2022 19:52:36 +0200
parents 6ee5bd9ad7cc (current diff) 01e4f3882f54 (diff)
children 12871ccce2e3
files
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/libinterp/corefcn/oct-tex-lexer.in.ll	Sat Jun 25 16:40:58 2022 -0400
+++ b/libinterp/corefcn/oct-tex-lexer.in.ll	Tue Jun 28 19:52:36 2022 +0200
@@ -140,7 +140,7 @@
     return FONTSIZE;
   }
 
-"\\color[m_rgb]" {
+"\\color[rgb]" {
     BEGIN (MAYBE_NUM_MODE);
     return COLOR_RGB;
   }