leanprover/doc-gen4

indexed DB invalidation

hargoniX opened this issue · 0 comments

We need to be able to invalidate the indexed DB upon documentation regeneration if required.
Until then the feature will be disabled.