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

diff --git a/src/output/html.c b/src/output/html.c
index 0b61486bd6..d75b131909 100644
--- a/src/output/html.c
+++ b/src/output/html.c
@@ -261,12 +261,7 @@ html_submit (struct output_driver *driver,
 
       switch (text_item_get_type (text_item))
         {
-        case TEXT_ITEM_TITLE:
-          print_title_tag (html->file, "H1", s);
-          break;
-
-        case TEXT_ITEM_SUBTITLE:
-          print_title_tag (html->file, "H2", s);
+        case TEXT_ITEM_PAGE_TITLE:
           break;
 
         case TEXT_ITEM_COMMAND_OPEN: