Closed jmirabel closed 6 years ago
It contains only documentation generated by doxygen and it makes this repository very heavy (99% on branch gh-pages). This would avoid to clone more than 100Mo when cloning hpp-doc...
@florent-lamiraux Any reason not to do it ?
To make sure I am well understood: there would be no way back.
I did the change. It divided the size of the .git folder by around 2 (from 114 to 50M). I expected a greater size reduction but it is already good.
.git
It contains only documentation generated by doxygen and it makes this repository very heavy (99% on branch gh-pages). This would avoid to clone more than 100Mo when cloning hpp-doc...
@florent-lamiraux Any reason not to do it ?