From 007cc7abe8aa4430e78ee833ba874bb9b2f5c8a9 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 13 Jun 2022 09:47:25 +0200
Subject: [PATCH] -prevent editing of generated files

---
 contrib/gana-update.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/contrib/gana-update.sh b/contrib/gana-update.sh
index 80830eb7d..121980273 100755
--- a/contrib/gana-update.sh
+++ b/contrib/gana-update.sh
@@ -23,6 +23,7 @@ ensure ()
     if ! diff $src/$fn $dst/$fn > /dev/null
     then
         cp $src/$fn $dst/$fn
+        chmod -w $dst/$fn
     fi
 }