From 398a5ebc5c7ad10e3278aea7ff61da2644c04748 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <japaricious@gmail.com>
Date: Thu, 13 Apr 2017 23:52:02 -0500
Subject: add `critical`, a global critical section

---
 build.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'build.rs')

diff --git a/build.rs b/build.rs
index 7f85740..2879705 100644
--- a/build.rs
+++ b/build.rs
@@ -93,7 +93,7 @@ fn main() {
     let u = Ident::new(format!("U{}", (1 << bits)));
     tokens.push(
         quote! {
-            #[doc(hidden)]
+            /// Maximum ceiling
             pub type CMAX = C<::typenum::#u>;
 
             /// Maximum priority level
-- 
cgit v1.2.3