Commit 2f67aa79c6f13961eda685144130692dc9f7b95f

Akim Demaille 2012-07-19T12:04:35

gnu-web-doc-update: fix error messages * build-aux/gnu-web-doc-update: Don't pass $ME to die.