Fix Spanish filename typo in update script.

diff --git a/scripts/build/grand-replace.py b/scripts/build/grand-replace.py
index dc0697d475bc412b37525b7dc0875c213ba6211c..abd67ba1ec8ab20154acc0f13bf748ce7244e807 100644 (file)
--- a/scripts/build/grand-replace.py
+++ b/scripts/build/grand-replace.py
@@ -46,7 +46,7 @@ copied_files = [
     'txi-de.tex',
     'txi-en.tex',
     'txi-fr.tex',
-    'txi-sf.tex',
+    'txi-es.tex',
     ]
 
 def main ():