Fixed grohtml handling of any named glyph for glyph indexes < 0x80.

Cosmetic changes to `.html-begin', `.html-end', `.html-image' which
are now `.begin', `.end', `.image'.

* src/devices/grohtml/post-html.cc: Adding UNICODE_DESC_START.
(html_printer::add_to_sbuf): Changing type of `code' parameter.
Use add_char_to_sbuf().
(to_unicode): New function.
(char_translate_to_html): Changing type of `ch' parameter.
Use `to_unicode()'.
(html_printer::~html_printer): Comment out doctype string.
* src/preproc/html/pre-html.cc (write_end_image): Use `.end'
instead of `.html-end'.
(write_start_image): Use `.begin' and `.image' instead of
`.html-begin' and `.html-image'.
* src/roff/troff/input.cc: Rename `html_level' to `begin_level'.
(html_begin): Renamed to ...
(begin): This.
(html_end): Renamed to ...
(end): This.
(html_image): Renamed to ...
(image): This.
(init_html_requests): Renamed to ...
(init_markup_requests): This.
* tmac/www.tmac: Updated.

1 files changed, 6 insertions, 6 deletions

diff --git a/src/preproc/html/pre-html.cc b/src/preproc/html/pre-html.cc
index efd98e4e..2f00f786 100644
--- a/src/preproc/html/pre-html.cc
+++ b/src/preproc/html/pre-html.cc
@@ -258,7 +258,7 @@ void makeFileName ()
 
 static void write_end_image (int is_html)
 {
-  writeString(".html-end \\{\\\n");
+  writeString(".end \\{\\\n");
   if (is_html) {
     /*
      *  emit image name and enable output
@@ -283,21 +283,21 @@ static void write_end_image (int is_html)
 
 static void write_start_image (IMAGE_ALIGNMENT pos, int is_html)
 {
-  writeString(".html-begin \\{\\\n");
+  writeString(".begin \\{\\\n");
   switch (pos) {
 
   case LEFT:
-    writeString(".    html-image l ");
+    writeString(".    image l ");
     break;
   case RIGHT:
-    writeString(".    html-image r ");
+    writeString(".    image r ");
     break;
   case INLINE:
-    writeString(".    html-image i ");
+    writeString(".    image i ");
     break;
   case CENTERED:
   default:
-    writeString(".    html-image c ");
+    writeString(".    image c ");
   }
   writeString(image_template); writeString(".png\n");
   if (is_html) {