From 0461827b35a029330d2f01b5de3d9ed7fc332d80 Mon Sep 17 00:00:00 2001
From: Stephane Carrez <Stephane.Carrez@gmail.com>
Date: Sat, 14 Dec 2019 22:46:30 +0100
Subject: [PATCH] Ignore the removal of config.gpr when the file does not exist

---
 index/wi/wikiada.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index/wi/wikiada.toml b/index/wi/wikiada.toml
index 09d3a0a2..1c322281 100644
--- a/index/wi/wikiada.toml
+++ b/index/wi/wikiada.toml
@@ -21,7 +21,7 @@ maintainers-logins = ["stcarrez"]
 
     [[general.actions]]
     type = "post-fetch"
-    command = ["rm", "config.gpr"]
+    command = ["rm", "-f", "config.gpr"]
 
 ['1.2.0']
 origin = "git+https://github.com/stcarrez/ada-wiki.git@1705a18eb8f8660fca33e4c6b1eebff90bc0f8fe"