| commit | fcadda63cb91a5dbff1b1268417d0aff944ac21f | [log] [tgz] |
|---|---|---|
| author | Marc Kupietz <kupietz@ids-mannheim.de> | Wed Sep 08 09:06:25 2021 +0200 |
| committer | Marc Kupietz <kupietz@ids-mannheim.de> | Wed Sep 08 18:03:45 2021 +0200 |
| tree | 95f76bb60125d94904493593fe038b2431351607 | |
| parent | 4689e79664410a2420e52a249ce78cbad7c569b8 [diff] [blame] |
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/dev/demo/tutorial.html b/dev/demo/tutorial.html index 7c4a87f..70e76ae 100644 --- a/dev/demo/tutorial.html +++ b/dev/demo/tutorial.html
@@ -13,7 +13,7 @@ --> <nav> <ul> - <li><a href="/doc/korap" class="active">KorAP</a> + <li><a href="/doc/development" class="active">KorAP</a> <ul> <!-- Versionsnummer --> <li><a href="/doc/kalamar">Kalamar</a></li>