diff --git a/docs/phrase/phrase.pl b/docs/phrase/phrase.pl
index dfeb01c332..fa227b1bb6 100644
--- a/docs/phrase/phrase.pl
+++ b/docs/phrase/phrase.pl
@@ -6,17 +6,17 @@
use XML::Simple;
use Data::Dumper;
-my $ref = XMLin("phrase_fr.xml");
+my $ref = XMLin("phrase_en.xml");
foreach $language ( sort keys %{$ref}) {
foreach $item ( sort keys %{$ref->{$language}}) {
foreach $element ( sort keys %{$ref->{$language}->{$item}}) {
- print "Language: $language, $item, $element\n";
+ #print "Language: $language, $item, $element\n";
system("mkdir -p $language/$item");
foreach $foo (@{$ref->{$language}->{$item}->{$element}}) {
- print "filename: $language/$item/$foo->{filename} contains phrase \"$foo->{phrase}\"\n";
+ #print "filename: $language/$item/$foo->{filename} contains phrase \"$foo->{phrase}\"\n";
# insert command to verify or generate files here
- system("swift -n Isabelle -o $language/$item/$foo->{filename} \"$foo->{phrase}\"");
+ print "$item/8000/$foo->{filename}\n";
}
}
}
diff --git a/docs/phrase/phrase_en.xml b/docs/phrase/phrase_en.xml
index 36e297560e..84c98d9f01 100644
--- a/docs/phrase/phrase_en.xml
+++ b/docs/phrase/phrase_en.xml
@@ -218,20 +218,20 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+