diff options
Diffstat (limited to 'ghc/docs/rts/closure.tex')
| -rw-r--r-- | ghc/docs/rts/closure.tex | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ghc/docs/rts/closure.tex b/ghc/docs/rts/closure.tex new file mode 100644 index 0000000000..572a8516cf --- /dev/null +++ b/ghc/docs/rts/closure.tex @@ -0,0 +1,7 @@ +\makebox[3.597in][l]{ + \vbox to 2.375in{ + \vfill + \special{psfile=closure.ps} + } + \vspace{-\baselineskip} +} |