X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fhtml.c;h=84843cbd64eebb17d37aab86f21bce0d0eb55cfa;hb=a353919df75c25331144602421353a856f4236d6;hp=d75b13190948ee1896ede47bd0851f6e4490df4f;hpb=b561da06cecf48556e94b4e033bd749eeba3bef7;p=pspp

diff --git a/src/output/html.c b/src/output/html.c
index d75b131909..84843cbd64 100644
--- a/src/output/html.c
+++ b/src/output/html.c
@@ -264,17 +264,6 @@ html_submit (struct output_driver *driver,
         case TEXT_ITEM_PAGE_TITLE:
           break;
 
-        case TEXT_ITEM_COMMAND_OPEN:
-          fprintf (html->file, "<DIV class=\"");
-          escape_string (html->file, s, strlen (s), "_", "<BR>");
-          fprintf (html->file, "\">");
-          print_title_tag (html->file, "H3", s);
-          break;
-
-        case TEXT_ITEM_COMMAND_CLOSE:
-          fprintf (html->file, "</DIV>\n");
-          break;
-
         case TEXT_ITEM_SUBHEAD:
           print_title_tag (html->file, "H4", s);
           break;
@@ -310,8 +299,7 @@ html_submit (struct output_driver *driver,
   else if (is_message_item (output_item))
     {
       const struct message_item *message_item = to_message_item (output_item);
-      const struct msg *msg = message_item_get_msg (message_item);
-      char *s = msg_to_string (msg, message_item->command_name);
+      char *s = msg_to_string (message_item_get_msg (message_item));
       print_title_tag (html->file, "P", s);
       free (s);
     }