diff options
author | wlemb <wlemb> | 2000-03-01 21:46:45 +0000 |
---|---|---|
committer | wlemb <wlemb> | 2000-03-01 21:46:45 +0000 |
commit | 7186110b0ced01c2d5dc29f706d1ab1723cb8273 (patch) | |
tree | 5ad863c14cb45d01924352452a3532509fa06768 /src | |
parent | 3299c09c6fe062da0b77e7797415fff7cc07966f (diff) | |
download | groff-7186110b0ced01c2d5dc29f706d1ab1723cb8273.tar.gz |
* html.cc (handle_unknown_font_command): Removed dead code as
spotted by Werner.
Diffstat (limited to 'src')
-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 */ |