From 20fb7c62d433addf853b8ab824462fca536aba07 Mon Sep 17 00:00:00 2001 From: Florian Gilcher Date: Mon, 2 Jun 2014 12:37:54 +0200 Subject: docs: Stop using `notrust` Now that rustdoc understands proper language tags as the code not being Rust, we can tag everything properly. This change tags examples in other languages by their language. Plain notations are marked as `text`. Console examples are marked as `console`. Also fix markdown.rs to not highlight non-rust code. --- src/libcore/num/mod.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/libcore') diff --git a/src/libcore/num/mod.rs b/src/libcore/num/mod.rs index a80b20775de..3a847004df9 100644 --- a/src/libcore/num/mod.rs +++ b/src/libcore/num/mod.rs @@ -59,7 +59,7 @@ pub trait Zero: Add { /// /// # Laws /// - /// ~~~notrust + /// ~~~text /// a + 0 = a ∀ a ∈ Self /// 0 + a = a ∀ a ∈ Self /// ~~~ @@ -123,7 +123,7 @@ pub trait One: Mul { /// /// # Laws /// - /// ~~~notrust + /// ~~~text /// a * 1 = a ∀ a ∈ Self /// 1 * a = a ∀ a ∈ Self /// ~~~ -- cgit 1.4.1-3-g733a5