Changes between Version 47 and Version 48 of workflow

Timestamp:

Jun 21, 2010, 4:56:06 PM (14 years ago)

Author:

Wolfgang Schmidle

Comment:

--

workflow

@@ -159 +159 @@
 
 Das Skript [source:trunk/schema/scripts/workflow/Filter_2_04_check_unknown_characters.pl Filter_2_04_check_unknown_characters]
-sammelt die im Text verwendeten Codes der Form `<001>` und schlägt jeweils passende Ersetzungen vor (aus einer Hilfsdatei). Diese Vorschläge müssen per Hand geprüft werden. Beispiel:
+sammelt die im Text verwendeten Codes der Form `<001>` und schlägt jeweils passende Ersetzungen vor (die default-Hilfsdatei ist [source:trunk/texts/aux/unknown-euro2.txt unknown-euro2.txt]). Das Skript legt dafür den `unknown`-Block an. 
+
+Die Vorschläge müssen per Hand geprüft werden. Beispiel:
 {{{
 unknown:
@@ -260 +262 @@
 ==== 3.01 ersetze unknown characters ====
 
-Das Skript [source:trunk/schema/scripts/workflow/Filter_3_01_replace_unknown_characters.pl Filter_3_01_replace_unknown_characters] ersetzt die Zeichen aus dem `unknown`-Block. Das Skript zur Ersetzung der escape sequences (Schritt 3.03) kann sich darauf verlassen, dass die unknown characters bereits geändert wurden. Das ist wichtig für Fälle wie `\'<001>`.
+Das Skript [source:trunk/schema/scripts/workflow/Filter_3_01_replace_unknown_characters.pl Filter_3_01_replace_unknown_characters] ersetzt die Zeichen aus der default-Hilfsdatei [source:trunk/texts/aux/unknown-euro2.txt unknown-euro2.txt] und dem `unknown`-Block. Der `unknown`-Block wird dabei entfernt.
+
+Das Skript zur Ersetzung der escape sequences (Schritt 3.03) kann sich darauf verlassen, dass die unknown characters bereits geändert wurden. Das ist wichtig für Fälle wie `\'<001>`.
 
 
 ==== 3.02 ersetze replacements ====
 
-Das Skript [source:trunk/schema/scripts/workflow/Filter_3_02_replace_replacements.pl Filter_3_02_replace_replacements] (unglücklicher Name?) ersetzt die Zeichen aus dem `replacements`-Block, beispielsweise das 
+Das Skript [source:trunk/schema/scripts/workflow/Filter_3_02_replace_replacements.pl Filter_3_02_replace_replacements] ersetzt die Zeichen aus dem `replacements`-Block, beispielsweise das 
 {{{
 replacements: