I’m writing a script for ROOT installation, and I have a minor problem with ROOT documentation file names.

Is there a reason because of the latest version is named html.tar.gz while the older versions have their version number too?
It would be much easier (for my script!) if there were, let’s say, a html511.tar.gz too, and then a symbolic link html.tar.gz to the latest version.

I dare to ask this because even it is not relevant for almost anyone, it would take almost no effort to implement.

Thank you for your time!

In the download page, I have changed html.tar.gz to html511.tar.gz
Thanks for this remark.