From 5969bf663ef6ea4c62d27b88a957d401dad4227b Mon Sep 17 00:00:00 2001
From: Barosl Lee <vcs@barosl.com>
Date: Wed, 12 Nov 2014 03:48:42 +0900
Subject: [PATCH] Fix documentation bug

The first paragraph must be separated from the next paragraph.
Otherwise, rustdoc will consider the content of the latter as part of
the title.
---
 src/libstd/os.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/libstd/os.rs b/src/libstd/os.rs
index 7fd23321e2ccb..1402d3a355905 100644
--- a/src/libstd/os.rs
+++ b/src/libstd/os.rs
@@ -889,6 +889,7 @@ pub fn errno() -> uint {
 }
 
 /// Return the string corresponding to an `errno()` value of `errnum`.
+///
 /// # Example
 /// ```rust
 /// use std::os;