gobby/libinfinity — pull request #5 by dev-zero (2014-09-01 21:33:25+00:00)
Title: Build documentation conditionally

Building documentation for disabled libraries fails with the
following error:

```
libtool: link: cannot find the library `../../../libinfgtk/libinfgtk-0.6.la' or unhandled argument `../../../libinfgtk/libinfgtk-0.6.la'
Linking of scanner failed:
Makefile:609: recipe for target 'scan-build.stamp' failed
```