1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
#!/bin/bash
#
# debian/create-fontlinks
#
# (c) 2012 Norbert Preining
# Licensed under GPLv2 or higher
#
# create links for fonts dirs listed in debian/$package.type1-fontdirs
pkg="$1"
do_one() {
f=$1
a=$(echo $f | sed -e 's!/type1/!/afm/!' -e 's!\.pfb$!.afm!')
if [ -e $f -a -e $a ] ; then
ff=$(echo $f | sed -e "s:^debian/$pkg/::")
aa=$(echo $a | sed -e "s:^debian/$pkg/::")
bn=$(basename $f .pfb)
echo $ff usr/share/fonts/type1/$pkg/$bn.pfb
echo $aa usr/share/fonts/type1/$pkg/$bn.afm
fi
}
if [ -r debian/$pkg.type1-fontdirs ] ; then
for d in $(cat debian/$pkg.type1-fontdirs) ; do
if [ -d $d ] ; then
for f in $(find debian/$pkg/usr/share/texlive/$d -type f -a -name \*.pfb) ; do
do_one $f
done
else
do_one debian/$pkg/usr/share/texlive/$d
fi
done
fi
|
