fix typo in release-guide (#2477)

agda · Sep 7, 2024 · 7069d03 · 7069d03
1 parent 4144346
commit 7069d03
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/release-guide.txt b/doc/release-guide.txt
@@ -13,7 +13,7 @@ procedure should be followed:
   - `README.md`
   - `doc/installation-guide.md`
 
-* Update the copyright year range in the LICENSE file, if necessary.
+* Update the copyright year range in the LICENCE file, if necessary.
 
 #### Pre-release tests