Merge pull request #3242 from alexanderkyte/fix_docs
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Wed, 6 Jul 2016 00:08:26 +0000 (02:08 +0200)
committerGitHub <noreply@github.com>
Wed, 6 Jul 2016 00:08:26 +0000 (02:08 +0200)
commit9ae0c7f0996129ac69685640a34dcdba892df440
tree078967226b0e1a1dc6f088b1932015fdddeed340
parenta042e25e8823d910bb2f7909aa9a98e4dc35ee92
parentcfa44850df7df15ac149c4d881962eb0deff9d34
Merge pull request #3242 from alexanderkyte/fix_docs

[runtime] Remove extraneous fi in docs build printing