Tutorial: rename korap to devlopment also internally
This has to be done in a separate second step because it's pretty error-prone.
Follow up to I05dbd6d938324151e5eb1cbe15a66790da13c63c
Change-Id: Ib0b7e546f2a9dd5c321516774cf95bab74c42962
diff --git a/kalamar.dict b/kalamar.dict
index 2fe2ebc..09bdc64 100644
--- a/kalamar.dict
+++ b/kalamar.dict
@@ -73,12 +73,12 @@
data => {
'annotation' => 'de/doc/data/annotation'
},
- korap => {
- 'kalamar' => 'de/doc/korap/kalamar',
- 'karang' => 'de/doc/korap/karang',
- 'koral' => 'de/doc/korap/koral',
- 'krill' => 'de/doc/korap/krill',
- 'kustvakt' => 'de/doc/korap/kustvakt'
+ development => {
+ 'kalamar' => 'de/doc/development/kalamar',
+ 'karang' => 'de/doc/development/karang',
+ 'koral' => 'de/doc/development/koral',
+ 'krill' => 'de/doc/development/krill',
+ 'kustvakt' => 'de/doc/development/kustvakt'
}
}
},
@@ -95,7 +95,7 @@
'corpus' => 'Korpora',
'annotation' => 'Annotationen',
'#default-foundries' => 'Standard Foundries',
- 'korap' => 'Entwicklung',
+ 'development' => 'Entwicklung',
'faq' => 'FAQ'
}
},
@@ -171,11 +171,11 @@
'annotation' => 'doc/data/annotation'
},
korap => {
- 'kalamar' => 'doc/korap/kalamar',
- 'karang' => 'doc/korap/karang',
- 'koral' => 'doc/korap/koral',
- 'krill' => 'doc/korap/krill',
- 'kustvakt' => 'doc/korap/kustvakt'
+ 'kalamar' => 'doc/development/kalamar',
+ 'karang' => 'doc/development/karang',
+ 'koral' => 'doc/development/koral',
+ 'krill' => 'doc/development/krill',
+ 'kustvakt' => 'doc/development/kustvakt'
}
}
},
@@ -192,7 +192,7 @@
'corpus' => 'Corpora',
'annotation' => 'Annotations',
'#default-foundries' => 'Default Foundries',
- 'korap' => 'Development',
+ 'development' => 'Development',
'faq' => 'FAQ'
}
},