Doc: make html display the tag name instead of the commit hash.#1835

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

yoshihiro503:patch-1yoshihiro503/analysis:patch-1Copy head branch name to clipboard