From 4f4ad5678db3e7aaf42f14d6d2d9000550c5f826 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 5 Jun 2020 13:05:08 +0200
Subject: Fix version switcher when building with Dune.

Closes #12395.
---
 doc/sphinx/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/dune b/doc/sphinx/dune
index b788fbbeed..31f28635fe 100644
--- a/doc/sphinx/dune
+++ b/doc/sphinx/dune
@@ -1,4 +1,4 @@
-(dirs :standard _static)
+(dirs :standard _static _templates)
 
 (rule
  (targets README.gen.rst)
-- 
cgit v1.2.3