diff options
Diffstat (limited to 'contrib/eaglesconv/mkConcrete.sh')
| -rw-r--r-- | contrib/eaglesconv/mkConcrete.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/contrib/eaglesconv/mkConcrete.sh b/contrib/eaglesconv/mkConcrete.sh deleted file mode 100644 index 170ab9c5e..000000000 --- a/contrib/eaglesconv/mkConcrete.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh - -echo "--# -path=.:../prelude:../abstract:../common - -concrete DictRus of DictRusAbs = CatRus ** - open ParadigmsRus, Prelude, StructuralRus, MorphoRus in { -flags - optimize=values ; - coding=utf8 ; -" -cat $1 -echo "}" |