Add space to title in HTML output (#20)

DistributedProofreaders · Jun 7, 2024 · cdcd0d7 · cdcd0d7
1 parent c4c357b
commit cdcd0d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ppcomp/ppcomp.py b/ppcomp/ppcomp.py
@@ -1064,7 +1064,7 @@ def output_html(html_content, filename1, filename2, css):
 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
 <head>
   <meta charset="UTF-8" />
-  <title>Compare""" + filename1 + " and " + filename2 + """</title>
+  <title>Compare """ + filename1 + " and " + filename2 + """</title>
   <style type="text/css">
 """)
     print(DIFF_CSS)