Merge pull request #1593 from ehuss/rule-prefix

Add a prefix to rule HTML IDs
rust-lang · Aug 29, 2024 · c118ff6 · c118ff6
2 parents e5029a1 + 6369458
commit c118ff6
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/mdbook-spec/src/lib.rs b/mdbook-spec/src/lib.rs
@@ -84,8 +84,8 @@ impl Spec {
                     }
                 }
                 format!(
-                    "<div class=\"rule\" id=\"{rule_id}\">\
-                     <a class=\"rule-link\" href=\"#{rule_id}\">[{rule_id}]</a>\
+                    "<div class=\"rule\" id=\"r-{rule_id}\">\
+                     <a class=\"rule-link\" href=\"#r-{rule_id}\">[{rule_id}]</a>\
                      </div>\n"
                 )
             })
@@ -104,7 +104,7 @@ impl Spec {
             .iter()
             .map(|(rule_id, (_, path))| {
                 let relative = pathdiff::diff_paths(path, current_path).unwrap();
-                format!("[{rule_id}]: {}#{rule_id}\n", relative.display())
+                format!("[{rule_id}]: {}#r-{rule_id}\n", relative.display())
             })
             .collect();
         format!(