change manual encoding to UTF

andrewprzh · andrewprzh · commit 71bca1900b2c · 2019-12-29T17:11:52.000+03:00
diff --git a/assembler/manual.html b/assembler/manual.html
@@ -1,4 +1,4 @@
-<html> <head>     <title>SPAdes 3.13.1 Manual</title>     <style type="text/css">         .highlight  pre {           background-color: #f0f2f4;           border-radius: 2px;           font-size: 100%;           line-height: 1.45;           overflow: auto;           padding: 16px;         }     </style> </head> <body><p><strong>SPAdes 3.14.0 Manual</strong></p>
+<html> <head>     <title>SPAdes manual</title>     <style type="text/css">         .highlight  pre {           background-color: #f0f2f4;           border-radius: 2px;           font-size: 100%;           line-height: 1.45;           overflow: auto;           padding: 16px;         }     </style> </head> <body> <meta charset="UTF-8"> <p><strong>SPAdes 3.14.0 Manual</strong></p>
 <ol>
 <li><a href="#sec1">About SPAdes</a> <br>
     1.1. <a href="#sec1.1">Supported data types</a><br>
@@ -812,4 +812,4 @@ <h1>Citation</h1>
 <p><a name="sec6"></a></p>
 <h1>Feedback and bug reports</h1>
 <p>Your comments, bug reports, and suggestions are very welcomed. They will help us to further improve SPAdes. If you have any troubles running SPAdes, please send us <code>params.txt</code> and <code>spades.log</code> from the directory <code>&lt;output_dir&gt;</code>.</p>
-<p>You can leave your comments and bug reports at <a href="https://github.com/ablab/spades/issues">our GitHub repository tracker</a> or sent it via e-mail: <a href="mailto:spades.support@cab.spbu.ru">spades.support@cab.spbu.ru</a>.</p><br/><br/><br/><br/><br/> </body> </html>
+<p>You can leave your comments and bug reports at <a href="https://github.com/ablab/spades/issues">our GitHub repository tracker</a> or sent it via e-mail: <a href="mailto:spades.support@cab.spbu.ru">spades.support@cab.spbu.ru</a>.</p><br/><br/><br/><br/><br/> </body> </html>
diff --git a/assembler/src/tools/misc/markdown_to_github_html.py b/assembler/src/tools/misc/markdown_to_github_html.py
@@ -43,7 +43,7 @@ def make_github_request(in_file_name):
 
 # Substitute conversion artifacts and dump to file (non-ascii)
 def write_html_to_file(txt, out_file_name):
-    final_html = HEADER + txt.replace("<br><br>", "<br>").replace('<a name="user-content-', '<a name="').replace('<a href="assembler/', '<a href="') + FOOTER
+    final_html = HEADER + txt.replace("<br><br>", "<br>").replace('<a name="user-content-', '<a name="').replace('<a href="assembler/', '<a href="').replace('<p><strong>SPAdes', ' <meta charset="UTF-8"> <p><strong>SPAdes') + FOOTER
     outf = codecs.open(sys.argv[2], 'w', encoding='utf-8')
     outf.write(final_html)
     outf.close()
