X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fhtml.c;h=5aec959c740a16a69888d9f5da76ad2d56778528;hb=6673633a0f497a1e2f579680975a9e460003614b;hp=4a436cf53c34b8f171dfbadd2f2c409af1982be1;hpb=dde5a3c946871b4aab3d6b436438dd8df11db261;p=pspp
diff --git a/src/output/html.c b/src/output/html.c
index 4a436cf53c..5aec959c74 100644
--- a/src/output/html.c
+++ b/src/output/html.c
@@ -103,7 +103,7 @@ html_create (const char *file_name, enum settings_output_devices device_type,
html->file = fn_open (html->file_name, "w");
if (html->file == NULL)
{
- error (0, errno, _("error opening output file \"%s\""), html->file_name);
+ error (0, errno, _("error opening output file `%s'"), html->file_name);
goto error;
}
@@ -116,8 +116,8 @@ html_create (const char *file_name, enum settings_output_devices device_type,
fputs ("\n",
html->file);
fputs ("\n", html->file);
- fputs ("