Changes in version 1.15:

'!empty()' is now used instead of 'size()' to pacify clang.

The info manual is now installed in the section 'Libraries'.
