core: enable useful features like header ids

leostera · Nov 6, 2020 · e7f5b23 · e7f5b23
1 parent d65529f
commit e7f5b23
Show file tree

Hide file tree

Showing 6 changed files with 28 additions and 11 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "hotstuff"
 description = "A composable, turnkey document compiler"
-version = "0.1.10"
+version = "0.1.12"
 authors = ["Leandro Ostera <leandro@ostera.io>"]
 edition = "2018"
 homepage = "https://github.com/AbstractMachinesLab/hotstuff"
@@ -16,7 +16,7 @@ exclude = [
 
 [dependencies]
 chrono = "0.4"
-comrak = "0.8"
+comrak = "0.9"
 fern = { version = "0.6", features = [ "colored" ] }
 http = "0.2"
 hyper = "0.13"

diff --git a/README.md b/README.md
@@ -197,8 +197,5 @@ hotstuff is inspired by prior art:
 * the `bazel` build system, with its aggressive incremental compilation
   techniques
 
-If you'd like to support this project consider doing so on Patreon:
-
-<a href="https://www.patreon.com/AbstractMachines">
-<img alt="Become a Patron" src="https://c5.patreon.com/external/logo/become_a_patron_button.png" width="150px" />
-</a>
+If you'd like to support this project you can [sponsor us on
+Github](https://github.com/sponsors/AbstractMachinesLab).
diff --git a/npm/package.json b/npm/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@abstractmachines/hotstuff",
-  "version": "0.1.10",
+  "version": "0.1.11",
   "description": "A composable, turnkey document compiler",
   "bin": {
     "hotstuff": "./hotstuff"

diff --git a/src/browser_reloader.js b/src/browser_reloader.js
@@ -1,3 +1,4 @@
+<script>
 console.log(`
 ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
 ██████░██ █▀▄▄▀█▄░▄███░▄▄█▄░▄█░██░█░▄▄█░▄▄██████
@@ -50,3 +51,4 @@ let wait_for_changes = () => {
 };
 
 wait_for_changes();
+</script>
diff --git a/src/build_rules.rs b/src/build_rules.rs
@@ -53,6 +53,10 @@ pub fn compile_unit(cunit: CompilationUnit) -> Result<Artifact, impl std::error:
             let ext = input.extension().and_then(OsStr::to_str).unwrap_or("");
             let mut opts = comrak::ComrakOptions::default();
             opts.render.unsafe_ = true;
+            opts.parse.smart = true;
+            opts.extension.autolink = true;
+            opts.extension.header_ids = Some("".to_string());
+            opts.extension.footnotes = true;
             let compiled = match ext {
                 "md" => comrak::markdown_to_html(&raw, &opts),
                 _ => raw,