Diego Rabatone wrote:
Tks! =)Beginner error!
I've noticed it, the wiki is not up to date. It indeed compiles the code, but not the documentation. Maybe the build system should ckeck for makeinfo before building the docs.
Feel free to update the wiki ;)
