| Server IP : 127.0.0.1 / Your IP : 216.73.216.109 Web Server : Apache/2.4.54 (Win64) OpenSSL/1.1.1q PHP/8.1.10 System : Windows NT DESKTOP-E5T4RUN 10.0 build 19045 (Windows 10) AMD64 User : SERVERWEB ( 0) PHP Version : 8.1.10 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : C:/cygwin64/usr/share/groff/1.23.0/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