From 15d0a6596f6c419ae57f324900b53c6bd5b4c224 Mon Sep 17 00:00:00 2001
From: Isis Lovecruft <isis@patternsinthevoid.net>
Date: Thu, 14 Nov 2019 22:01:34 +0000
Subject: [PATCH] Document batch verification on docs.rs and fix false
 autolinking.

---
 Cargo.toml     | 5 +++++
 src/ed25519.rs | 4 ++--
 src/public.rs  | 4 ++--
 3 files changed, 9 insertions(+), 4 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 27838cc..09b8ef2 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -16,6 +16,11 @@ exclude = [ ".gitignore", "TESTVECTORS", "res/*" ]
 [badges]
 travis-ci = { repository = "dalek-cryptography/ed25519-dalek", branch = "master"}
 
+[package.metadata.docs.rs]
+# Disabled for now since this is borked; tracking https://github.com/rust-lang/docs.rs/issues/302
+# rustdoc-args = ["--html-in-header", ".cargo/registry/src/github.com-1ecc6299db9ec823/curve25519-dalek-0.13.2/rustdoc-include-katex-header.html"]
+features = ["nightly", "batch"]
+
 [dependencies]
 clear_on_drop = { version = "0.2" }
 curve25519-dalek = { version = "1", default-features = false }
diff --git a/src/ed25519.rs b/src/ed25519.rs
index 8bddb67..831cc1d 100644
--- a/src/ed25519.rs
+++ b/src/ed25519.rs
@@ -475,8 +475,8 @@ impl Keypair {
     /// §5.1.7, for small torsion components in the `R` value of the signature,
     /// *which is not strictly required*, as they state:
     ///
-    /// > Check the group equation [8][S]B = [8]R + [8][k]A'.  It's
-    /// > sufficient, but not required, to instead check [S]B = R + [k]A'.
+    /// > Check the group equation \[8\]\[S\]B = \[8\]R + \[8\]\[k\]A'.  It's
+    /// > sufficient, but not required, to instead check \[S\]B = R + \[k\]A'.
     ///
     /// # History of Malleability Checks
     ///
diff --git a/src/public.rs b/src/public.rs
index f25c88f..f901fcf 100644
--- a/src/public.rs
+++ b/src/public.rs
@@ -274,8 +274,8 @@ impl PublicKey {
     /// §5.1.7, for small torsion components in the `R` value of the signature,
     /// *which is not strictly required*, as they state:
     ///
-    /// > Check the group equation [8][S]B = [8]R + [8][k]A'.  It's
-    /// > sufficient, but not required, to instead check [S]B = R + [k]A'.
+    /// > Check the group equation \[8\]\[S\]B = \[8\]R + \[8\]\[k\]A'.  It's
+    /// > sufficient, but not required, to instead check \[S\]B = R + \[k\]A'.
     ///
     /// # History of Malleability Checks
     ///