diff --git a/doc/caching.rst b/doc/caching.rst index 374a479fae8..65e482b8eeb 100644 --- a/doc/caching.rst +++ b/doc/caching.rst @@ -15,8 +15,7 @@ or simply undoing some changes within the same workspace. Configuration ============= -.. TODO (ElectreAAS): update version number here when releasing -Since %version%, Dune cache is now an opt-out feature: it is enabled by default. +Since version 3.17, Dune cache is an opt-out feature: it is enabled by default. There are three ways to disable it. Choose the one that is more convenient for you: * Add ``(cache disabled)`` to your Dune configuration file @@ -29,6 +28,8 @@ systems and ``%LOCALAPPDATA%\Microsoft\Windows\Temporary Internet Files\dune`` o You can change the default location by setting the environment variable ``DUNE_CACHE_ROOT``. +.. versionchanged:: 3.17 The cache used to be opt-in, disabled by default. + Caching User Rules ==================