Fix old extensions for txt README.

clarin-eric · Nov 28, 2023 · eefa3f8 · eefa3f8
1 parent 1af5881
commit eefa3f8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Corpora/bin/cp-readmes.pl b/Corpora/bin/cp-readmes.pl
@@ -79,8 +79,8 @@
     if    ($handleTEI) {$handleTxt = $handleTEI}
     elsif ($handleAna) {$handleTxt = $handleAna}
     else {die "FATAL: No handle given for TEI or .ana distribution\n"}
-    if ($MT) {$inReadme = "$docsDir/README-$MT.txt.txt"}
-    else {$inReadme = "$docsDir/README.txt.txt"}
+    if ($MT) {$inReadme = "$docsDir/README-$MT.text.txt"}
+    else {$inReadme = "$docsDir/README.text.txt"}
     &cp_readme($countryCode, $handleTxt, $Version, $inReadme, "$outTxtDir/00README.txt");
 
     print STDERR "INFO: ***Making $countryCode CoNLL-U\n";