retain spaces in inline verbatim
authorSimon Marlow <marlowsd@gmail.com>
Fri, 30 Apr 2010 14:04:08 +0000 (14:04 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 30 Apr 2010 14:04:08 +0000 (14:04 +0000)
tools/verb-tex4ht.lex
tools/verbatim.lex

index 0dae294..5c578b2 100644 (file)
@@ -17,6 +17,7 @@ int yywrap (void) { return 1; }
 <NORM>@@               { printf ("@"); }
 <NORM>@                        { printf ("\\mbox{\\tt ");
                          PUSH NORM;  BEGIN INVERB; }
+<INVERB>" "             { printf ("\\ "); }
 <INVERB>@              { printf ("}");  POP; }
 <INVERB>\#             { printf ("{\\char'43}"); }
 <INVERB>\$             { printf ("{\\char'44}"); }
index 5ba97f0..32ab49a 100644 (file)
@@ -17,6 +17,7 @@ int yywrap (void) { return 1; }
 <NORM>@@               { printf ("@"); }
 <NORM>@                        { printf ("\\mbox{\\tt ");
                          PUSH NORM;  BEGIN INVERB; }
+<INVERB>" "             { printf ("\\ "); }
 <INVERB>@              { printf ("}");  POP; }
 <INVERB>\#             { printf ("{\\char'43}"); }
 <INVERB>\$             { printf ("{\\char'44}"); }