From 0c7a2516d39dd5d995e425c7c08dd8c11e65ea6a Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Thu, 14 Jul 2011 17:45:08 +0100
Subject: [PATCH] Use PDF figures, not ps

---
 remote.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/remote.tex b/remote.tex
index c793ce2..a9a603f 100644
--- a/remote.tex
+++ b/remote.tex
@@ -39,7 +39,7 @@
 \urlstyle{sf}
 
 \graphicspath{{figures/}}
-\DeclareGraphicsExtensions{.pdf, .png, .ps}   % NOT .jpg  because it throws away the detail.
+\DeclareGraphicsExtensions{.pdf, .png}   % NOT .jpg  because it throws away the detail.
 
 \newboolean{showcomments}
 \setboolean{showcomments}{false}
@@ -224,7 +224,7 @@ \subsection{Processes}
 
 \begin{figure}[t]
 \centerline {
- \includegraphics[width=0.9\columnwidth]{threadsAndProcesses.ps}
+ \includegraphics[width=0.9\columnwidth]{threadsAndProcesses.pdf}
 }
 \caption{ 
 %: \label{fig:ProcessBubbles}
@@ -1565,7 +1565,7 @@ \section{Performance}
 
 \begin{figure}[t]
 \centerline {
- \includegraphics[width=\columnwidth]{ec2.eps}
+ \includegraphics[width=\columnwidth]{ec2.pdf}
 }
 \vspace{0.5ex}
 \caption{