* groff-font.c: (add_kern) Fix indentation.

[pspp] / src / html.c

diff --git a/src/html.c b/src/html.c
index c647f34b5726cd86f71281a6772118d38d962081..42d818b519f908004e0eb876cdfc089ffd53a67b 100644 (file)
--- a/src/html.c
+++ b/src/html.c
@@ -174,10 +174,6 @@ html_option (struct outp_driver *this, const char *key, const struct string *val
        *dest = xstrdup (ds_value (val));
       }
       break;
-#if __CHECKER__
-    case 42000:
-      assert (0);
-#endif
     default:
       assert (0);
     }
@@ -556,18 +552,19 @@ output_tab_table (struct outp_driver *this, struct tab_table *t)
            strcpy (cp, ">");
            fputs (header, x->file.file);
            
-           {
-             char *s = ls_value (cc);
-             size_t l = ls_length (cc);
-
-             while (l && isspace ((unsigned char) *s))
-               {
-                 l--;
-                 s++;
-               }
+           if ( ! (*ct & TAB_EMPTY)  ) 
+             {
+               char *s = ls_value (cc);
+               size_t l = ls_length (cc);
+
+               while (l && isspace ((unsigned char) *s))
+                 {
+                   l--;
+                   s++;
+                 }
              
-             escape_string (x->file.file, s, l);
-           }
+               escape_string (x->file.file, s, l);
+             }
 
            fprintf (x->file.file, "</T%c>\n", tag);
          }