This blog is updated daily.
A general description is here.
THe PDF manuals (if built) can be compacted by the new target ‘make compact-pdf’ (at the top level or in directory ‘doc/manual’).
permanent link
