diff options
Diffstat (limited to 'src/devices/grohtml')
-rwxr-xr-x | src/devices/grohtml/ChangeLog | 5 | ||||
-rwxr-xr-x | src/devices/grohtml/html.cc | 15 |
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 */ |