diff options
author | Emile <git@emile.space> | 2022-02-03 21:54:58 +0100 |
---|---|---|
committer | Emile <git@emile.space> | 2022-02-03 21:54:58 +0100 |
commit | 9f395a122d6cd66170c363a3ef50871d8d4a25b2 (patch) | |
tree | 3ccb4632ab964c4b817b258c2e78fe501e5280c1 | |
parent | e9dfb0d7682dfbf30b33dc780377ab618c52e750 (diff) |
horizontal rule
-rw-r--r-- | src/main.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/main.rs b/src/main.rs index 9085649..80f0f83 100644 --- a/src/main.rs +++ b/src/main.rs @@ -377,7 +377,10 @@ fn write_readme_content(file: &mut File, in_path: &Path, raw_path: &Path) // cheap markdown 2 html converter for line in readme.split('\n') { - if line.starts_with("###") { + if line.starts_with("---") { + file.write_all(format!(r##" + <hr>"##).as_bytes())?; + } else if line.starts_with("###") { let heading = line.get(4..).unwrap(); let heading_sanitized = sanitize(heading.to_string()); |