diff options
Diffstat (limited to 'libre')
| -rw-r--r-- | libre/texlive-bin/PKGBUILD | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/libre/texlive-bin/PKGBUILD b/libre/texlive-bin/PKGBUILD index 0df295bc4..9bc5cac68 100644 --- a/libre/texlive-bin/PKGBUILD +++ b/libre/texlive-bin/PKGBUILD @@ -312,7 +312,6 @@ texdoctk texexec texfot texhash -texindy texlinks texliveonfly texloganalyser @@ -332,8 +331,14 @@ vpl2ovp vpl2vpl xhlatex xindex -$( [[ "$CARCH" != "armv7h" ]] && echo 'xindy') " +if [[ "$CARCH" != "armv7h" ]]; then + _core_scripts+=" +texindy +xindy +" +fi + _games_scripts="rubikrotation" _humanities_scripts="diadia" _langcyrillic_scripts="rubibtex rumakeindex" |