History manual/libcbook.texi