diff --git a/db/doctree.rev b/db/doctree.rev
index af4dacde82..71b468f80b 100644
--- a/db/doctree.rev
+++ b/db/doctree.rev
@@ -1 +1 @@
-0b8d2232c1dfab6a9a58439ae09d150b80189b8c
+43675363657b9b88c8e8ad83c4b1dc2ae1826da8