diff makeGraphics.sh @ 118:8f3b50ede59c

Switch to XeTeX to render. Opens up random OpenType fonts and UTF-8. Also switch to Times New Roman for the main text. The music is set with Postscript Times, so this is the easy approach to better typographic consistency.
author Jim Hague <jim.hague@acm.org>
date Wed, 04 Apr 2012 11:52:29 +0100
parents e666306c5ab1
children 295ba8275ab4
line wrap: on
line diff
--- a/makeGraphics.sh	Fri Mar 16 10:40:16 2012 +0000
+++ b/makeGraphics.sh	Wed Apr 04 11:52:29 2012 +0100
@@ -26,7 +26,7 @@
         abcm2ps -j0 +c -n -E -O $graphicsdir/$name.eps $filename
         # Make $name.eps so we can build with LaTeX.
         mv $graphicsdir/${name}001.eps $graphicsdir/${name}.eps
-        # And make the corresponding PDF for pdflatex.
+        # And make the corresponding PDF.
         epstopdf --outfile=$graphicsdir/$name.pdf $graphicsdir/${name}.eps
 
         # and make the first line graphic.