Commit 957a625d8a133cb9cf2fe5d604c74dd8b4a28801

Akim Demaille 2012-07-30T13:41:01

maint.mk: provide a web-manual-update target * top/maint.mk: here. * top/README-release: Use it to simplify the web manual update step.