X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Foutput%2Fhtml.c;h=5aec959c740a16a69888d9f5da76ad2d56778528;hb=d8fdf0b4fa919e48397b438e9453d6b82215ff51;hp=4452e40b678bd8feb6accf8fb26b75d750a839eb;hpb=5ad018c10a4b77416ebceb5f678b473a6a7753ce;p=pspp
diff --git a/src/output/html.c b/src/output/html.c
index 4452e40b67..5aec959c74 100644
--- a/src/output/html.c
+++ b/src/output/html.c
@@ -117,7 +117,7 @@ html_create (const char *file_name, enum settings_output_devices device_type,
html->file);
fputs ("\n", html->file);
- fputs ("