[project @ 1999-08-02 16:01:24 by simonmar]

[ghc-hetmet.git] / docs / rts / hugs_ret2.pstex_t

diff --git a/docs/rts/hugs_ret2.pstex_t b/docs/rts/hugs_ret2.pstex_t
deleted file mode 100644 (file)
index 13208a3..0000000
--- a/docs/rts/hugs_ret2.pstex_t
+++ /dev/null
@@ -1,13 +0,0 @@
-\begin{picture}(0,0)%
-\epsfig{file=hugs_ret2.pstex}%
-\end{picture}%
-\setlength{\unitlength}{0.00066700in}%
-%
-\begingroup\makeatletter\ifx\SetFigFont\undefined%
-\gdef\SetFigFont#1#2#3#4#5{%
-  \reset@font\fontsize{#1}{#2pt}%
-  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
-  \selectfont}%
-\fi\endgroup%
-\begin{picture}(3849,2874)(589,-2923)
-\end{picture}