Commit fddc6dcff4209f3aa92eb8e829c3dd2a7c0bc4a2

Karl Berry 2015-05-05T16:14:12

gendocs.sh: document new htmlarg default