X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Frts%2Fhugs_ret2.pstex_t;fp=docs%2Frts%2Fhugs_ret2.pstex_t;h=0000000000000000000000000000000000000000;hb=80f13927ca39a36822d9ea809573662c75df56ab;hp=13208a3de1d6ecf556e92ec178abbd4154722771;hpb=ba65f19ffce78b2c13efd2ce999123b4b358cc78;p=ghc-hetmet.git

diff --git a/docs/rts/hugs_ret2.pstex_t b/docs/rts/hugs_ret2.pstex_t
deleted file mode 100644
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}