Merge doc changes from github
authorpavel <pavel@aaa>
Mon, 12 Jan 2015 01:59:32 +0000 (03:59 +0200)
committerpavel <pavel@aaa>
Mon, 12 Jan 2015 01:59:32 +0000 (03:59 +0200)

Trivial merge