diff options
Diffstat (limited to 'doc/sphinx')
| -rw-r--r-- | doc/sphinx/dune | 2 |
1 files changed, 1 insertions, 1 deletions
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) |