diff options
Diffstat (limited to 'ghc/docs/rts/hugs_ret2.pstex_t')
| -rw-r--r-- | ghc/docs/rts/hugs_ret2.pstex_t | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/ghc/docs/rts/hugs_ret2.pstex_t b/ghc/docs/rts/hugs_ret2.pstex_t deleted file mode 100644 index 13208a3de1..0000000000 --- a/ghc/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} |