dune
dune copied to clipboard
Update doc dependencies in the doc itself
We changed themes a while back, but the hacking.rst file still mentionned the old one.
Correct but can we just point to doc/requirements.txt instead? It will contain the up to date deps, always.
@ElectreAAS is it good for you if we merge it?
Yes go ahead, I don't have the rights to do so myself