Merge pull request #433 from Yewzir/patch-1

Fix typo
coq · Sep 30, 2024 · 4205af8 · 4205af8
2 parents ff62d7a + 7d0138f
commit 4205af8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/README_Linux.md b/doc/README_Linux.md
@@ -1,6 +1,6 @@
 Note that cause of severe and continuing issues with the snap system we had to drop the support for snap binary installers.
 A volunteer for maintaining snap or another Linux binary installer system would be welcome.
-On Linux currently the only way to install Coq Platform is to build from sources via scrips.
+On Linux currently the only way to install Coq Platform is to build from sources via scripts.
 
 # Installation by compiling from sources using scripts / opam