Add instructions for building manual on Ubuntu
authorWladimir J. van der Laan <laanwj@gmail.com>
Sun, 3 Apr 2016 12:26:46 +0000 (14:26 +0200)
committerWladimir J. van der Laan <laanwj@gmail.com>
Sun, 3 Apr 2016 12:29:11 +0000 (14:29 +0200)
commitf9d7091c3b04fd9aa067ed1c087a29faac55d640
treeea6e56948ac97dd3364860694b67abd73d9059d8
parent27e0d29863bcf80520993574415f79b32312c5fb
Add instructions for building manual on Ubuntu
README