diff --git a/crates/aiken-project/src/docs.rs b/crates/aiken-project/src/docs.rs
index c2c683dd..979e8718 100644
--- a/crates/aiken-project/src/docs.rs
+++ b/crates/aiken-project/src/docs.rs
@@ -268,17 +268,40 @@ fn generate_module(
timestamp: timestamp.as_secs().to_string(),
};
+ let rendered_content = convert_latex_markers(
+ inject_math_library(
+ module.render().expect("Module documentation template rendering"),
+ )
+ );
+
(
search_indexes,
DocFile {
path: PathBuf::from(format!("{}.html", module.module_name)),
- content: module
- .render()
- .expect("Module documentation template rendering"),
+ content: rendered_content,
},
)
}
+
+fn convert_latex_markers(input: String) -> String {
+ input.replace("#[", "\\(")
+ .replace("]#", "\\)")
+}
+
+fn inject_math_library(html: String) -> String {
+ let mathjax_script = r#"
+
+
+ "#;
+
+ html.replace("", &format!("{}\n", mathjax_script))
+}
+
fn generate_static_assets(search_indexes: Vec) -> Vec {
let mut assets: Vec = vec![];