diff --git a/db/doctree.rev b/db/doctree.rev
index 0ab044063c..f89710e8ae 100644
--- a/db/doctree.rev
+++ b/db/doctree.rev
@@ -1 +1 @@
-73138061c50c2e2ab74da6ea2f030ae650ef890f
+7236262bdf253ac42a33f7552143d677db86f066