* html.cc (handle_unknown_font_command): Removed dead code as

spotted by Werner.

2 files changed, 5 insertions, 15 deletions

diff --git a/src/devices/grohtml/ChangeLog b/src/devices/grohtml/ChangeLog
index 8108cd98..83798515 100755
--- a/src/devices/grohtml/ChangeLog
+++ b/src/devices/grohtml/ChangeLog
@@ -1,3 +1,8 @@
+2000-03-01  Gaius Mulley  <gaius@glam.ac.uk>
+
+	* html.cc (handle_unknown_font_command): Removed dead code as
+	spotted by Werner.
+	
 2000-02-11  Gaius Mulley  <gaius@glam.ac.uk>
 
 	* html.cc (create_tmp_file, create_temp_name): Removed.  It has been
diff --git a/src/devices/grohtml/html.cc b/src/devices/grohtml/html.cc
index e99b5cb0..b5121534 100755
--- a/src/devices/grohtml/html.cc
+++ b/src/devices/grohtml/html.cc
@@ -795,8 +795,6 @@ public:
   char *encoding;
   char *reencoded_name;
   ~html_font();
-  void handle_unknown_font_command(const char *command, const char *arg,
-				   const char *filename, int lineno);
   static html_font *load_html_font(const char *);
 };
 
@@ -819,19 +817,6 @@ html_font::~html_font()
 {
 }
 
-void html_font::handle_unknown_font_command(const char *command, const char *arg,
-					    const char *filename, int lineno)
-{
-  if (strcmp(command, "encoding") == 0) {
-    if (arg == 0)
-      error_with_file_and_line(filename, lineno,
-			       "`encoding' command requires an argument");
-    else
-      encoding = strsave(arg);
-  }
-}
-
-
 /*
  *  a simple class to contain the header to this document
  */