Fix:

stdin:1744: ERROR: end of file in string

https://github.com/nickzman/ManOpen/commit/12a2f59488753dd63376d7692eabda0397d60bc7
--- ManOpen/cat2html.tproj/cat2html.l.orig	2023-03-12 18:32:11
+++ ManOpen/cat2html.tproj/cat2html.l	2023-03-12 18:33:44
@@ -116,7 +116,7 @@
 
     static void emitBackspacedLetters(char *charblock, yy_size_t lengthLeft, int doBold)
     {
-        /* If there's a trailing backspace, then both letters are deleted, so print nothing */
+        /* If there is a trailing backspace, then both letters are deleted, so print nothing */
         if (lengthLeft >= 4 && charblock[3] == '\010')
             return;
 
@@ -273,7 +273,7 @@
     /*
      *    nroff bullets
      */
-o\010"+"               emitRaw("·");   // "•" doesn't work
+o\010"+"               emitRaw("·");   // "•" does not work
 "+"\010o               emitRaw("·");
 o\010o\010"+"\010"+"   emitRaw("·");
 "+"\010"+\010"o\010o   emitRaw("·");
@@ -352,7 +352,7 @@
 
     yy_flex_debug = 0;
 
-    /* Keep the same args as cat2rtf, even though -s doesn't really make much difference */
+    /* Keep the same args as cat2rtf, even though -s does not really make much difference */
     while ((c = getopt(argc, argv, "dgGiISs:lH")) != EOF)
     {
         switch( c ) {