From 5482e8c5c223bbbe2b3c197faf09572d55bafa24 Mon Sep 17 00:00:00 2001
From: "Daniele E. Domenichelli" <daniele.domenichelli@iit.it>
Date: Tue, 17 Mar 2020 17:41:49 +0100
Subject: [PATCH] CI: Try to fix update-docs bot

---
 .github/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/config.yml b/.github/config.yml
index 640c07e4238..a2889d47201 100644
--- a/.github/config.yml
+++ b/.github/config.yml
@@ -9,4 +9,4 @@ updateDocsComment: >
   #- chore
 
 updateDocsTargetFiles:
-  - doc/release
+  - doc/release/