Commit db16f500f9176e2da49c46302dbf6d44f2cce2fb

Stefano Lattarini 2012-06-15T10:09:19

Merge branch 'docs-recursion' into maint * docs-recursion: docs: recursive make considered harmful