scripts/gendocs.py: license.txt does not exist #124
Description
I think gendocs.py contains an error. I suppose
root.nodes += [ParseTextFile(Node("License"), "license.txt", True)]
should be
root.nodes += [ParseTextFile(Node("License"), "COPYING", True)]
Otherwise the script won't work.