comments about `https://math-comp.github.io/analysis/`

[affeldt-aist]

Minor comments about the first page:

• it displays (twice) the commit hash, maybe it could be replaced by version numbers for released versions ("MathComp Analysis 1.15.0" looks nicer than "MathComp Analysis 6e5b249db")
• the file graph doesn't seem to follow the directory structure of the repo, which is a bit disturbing

@yoshihiro503 @proux01

[yoshihiro503]

It seems that the make html command in analysis always retrieves the commit hash.

https://github.com/math-comp/analysis/blob/cb54d0c902fb3f2bb274198230c9212a419e956b/Makefile.common#L107

I resolved this issue and created a pull request for analysis.
math-comp/analysis#1835 (NB: now merged)

[affeldt-aist]

* the file graph doesn't seem to follow the directory structure of the repo, which is a bit disturbing 

This is maybe related to this issue:

#141

I will fix it ASAP on MathComp-Analysis' repo.