| Server IP : 82.208.35.60 / Your IP : 216.73.217.33 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/local/share/groff/current/font/devdvi/generate/ |
Upload File : |
#! /bin/sh
# Compile fonts in the sizes needed by groff.
sizes="5 6 7 8 9 10 10.95 12 14 14.40 16 17.28 18 20 20.74 22 24 24.88 28 36"
fonts="cmr10 cmti10 cmbx10 cmbxti10 cmtt10 cmex10 cmmi10 cmsy10 cmss10 cmssbx10 cmssi10"
mode=cx
dpi=300
for f in $fonts; do
for s in $sizes; do
virmf "&cm \\mode=$mode; mag=$s/10; batchmode; input $f" >/dev/null
mag=`expr $s \* $dpi / 10`
gftopk $f.${mag}gf >/dev/null
rm $f.${mag}gf
done
done