diff options
Diffstat (limited to 'media-gfx/ipe/ipe-6.0_pre28.ebuild')
-rw-r--r-- | media-gfx/ipe/ipe-6.0_pre28.ebuild | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/media-gfx/ipe/ipe-6.0_pre28.ebuild b/media-gfx/ipe/ipe-6.0_pre28.ebuild index 9e2557827..1297b72b2 100644 --- a/media-gfx/ipe/ipe-6.0_pre28.ebuild +++ b/media-gfx/ipe/ipe-6.0_pre28.ebuild @@ -27,19 +27,16 @@ S="${WORKDIR}/${MY_P}/src" search_urw_fonts() { local texmfdist="$(kpsewhich -var-value=TEXMFDIST)" # colon-separated - # list of paths + # list of paths local urwdir=fonts/type1/urw # according to TeX directory structure - local OLDIFS="$IFS" - IFS="${IFS}:" # add colon as field separator + local IFS="${IFS}:" # add colon as field separator for dir in ${texmfdist}; do if [[ -d "${dir}/${urwdir}" ]]; then URWFONTDIR="${dir}/${urwdir}" - IFS="${OLDIFS}" return 0 fi done - IFS="${OLDIFS}" return 1 } |