<!doctype html public "-//W3C//DTD W3 HTML//EN">
<html><head><style type="text/css"><!--
blockquote, dl, ul, ol, li { padding-top: 0 ; padding-bottom: 0 }
--></style><title>Re: [Mac OS X TeX] missing ligatures in hard
copy</title></head><body>
<blockquote type="cite" cite><br></blockquote>
<div><br></div>
<div><br></div>
<div>I forgot to indicate the non trivial linebreaks ([linebreak]) in
the shell script if they don't fit it won't work.</div>
<div><br></div>
<div><br></div>
<div>#!/bin/sh<br>
##<br>
# dvipdfc.sh<br>
# Convert dvi files to pdf files<br>
#</div>
<div>#</div>
<div>#</div>
<div>##<br>
</div>
<div><br></div>
<div>for file; do [linebreak]</div>
<div> location=$(dirname "$file") [linebreak]<br>
cd "${location}" && dvips -q -o
"${file}.ps" -Ppdf "${file}" && ps2pdf13
-sPAPERSIZE=a4 -r1200 "${file}.ps" && rm
"${file}.ps" [linebreak]<br>
done [linebreak]<br>
</div>
<div><br></div>
<div>Save it as a text file dvipdfc.sh. One can invoke it with the
command</div>
<div><br></div>
<div>sh dvipdfc.sh filename %%use filename without the suffix
.dvi</div>
<div><br></div>
<div>To make an executable save the file in ~/bin and issue the
command</div>
<div><br></div>
<div><font face="Verdana" color="#000000">chmod ogu+x
~/bin/dvipdfc</font></div>
<div><br></div>
<div><br></div>
<div>Then, after restarting the terminal,</div>
<div><br></div>
<div>dvipdfc filename %% without any suffix</div>
<div><br></div>
<div>will do the job.</div>
<div><br></div>
<div><br></div>
<div>Claus</div>
<x-sigsep><pre>--
</pre></x-sigsep>
<div><br>
<br>
Claus Gerhardt<br>
Institut für Angewandte Mathematik<br>
Ruprecht-Karls-Universität Heidelberg<br>
Im Neuenheimer Feld 294<br>
69120 Heidelberg<br>
Germany<br>
<br>
Homepage: http://www.math.uni-heidelberg.de/studinfo/gerhardt/</div>
</body>
</html>