diff options
| author | max <max@FreeBSD.org> | 1996-11-13 23:18:27 +0800 |
|---|---|---|
| committer | max <max@FreeBSD.org> | 1996-11-13 23:18:27 +0800 |
| commit | 916f7a22d7a555c05d949a09ce03a9351f54b21c (patch) | |
| tree | b045b7754641946346fccb910dfde986022ee181 /japanese/dvi2ps/files | |
| parent | ad94e6779b4913dbdf0a2efed62935aa13b089b5 (diff) | |
| download | freebsd-ports-gnome-916f7a22d7a555c05d949a09ce03a9351f54b21c.tar.gz freebsd-ports-gnome-916f7a22d7a555c05d949a09ce03a9351f54b21c.tar.zst freebsd-ports-gnome-916f7a22d7a555c05d949a09ce03a9351f54b21c.zip | |
Resolution specification in the fontdesc file needs to be in literal numbers.
Submitted by: mita@jp.freebsd.org
Diffstat (limited to 'japanese/dvi2ps/files')
| -rw-r--r-- | japanese/dvi2ps/files/patch-ab | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/japanese/dvi2ps/files/patch-ab b/japanese/dvi2ps/files/patch-ab index 28963c10b9f6..e98a066832b5 100644 --- a/japanese/dvi2ps/files/patch-ab +++ b/japanese/dvi2ps/files/patch-ab @@ -1,5 +1,5 @@ -*** /dev/null Fri Nov 8 21:17:53 1996 ---- lib/fontdesc Fri Nov 8 21:18:34 1996 +*** /dev/null Tue Nov 12 22:50:07 1996 +--- lib/fontdesc Tue Nov 12 22:51:33 1996 *************** *** 0 **** --- 1,32 ---- @@ -8,8 +8,9 @@ + # Print out Japanese by printer font and English by pk font. + # Nov. 9 1996 MITA Yoshio <mita@jp.FreeBSD.org> + -+ # change resolution below according to your site. ++ # change resolution according to your site. + define RESOLUTION 300 ++ resolution 300 + + define f /usr/local/lib/fonts + define af /usr/local/share/tex/jfonts/jfms @@ -17,7 +18,6 @@ + define nsf /usr/local/share/tex/jfonts/ + + include dvi2.ps -+ resolution $RESOLUTION + + # English font with pk fonts + font pk * 3 $f/pk$RESOLUTION/%f.%mpk |