Merge pull request #300 from lcd047/master

Fix building of the manual
This commit is contained in:
Nico Williams committed 2014-02-19 11:21:04 -06:00
commit 3d33412e9a

Diff Content Not Available