Docs generation script: require version number an argument

- eliminates the need to run the script when the tree is at a particular version