diff options
Diffstat (limited to 'ghc/compiler/prelude/prelude-structure.tex')
| -rw-r--r-- | ghc/compiler/prelude/prelude-structure.tex | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/ghc/compiler/prelude/prelude-structure.tex b/ghc/compiler/prelude/prelude-structure.tex deleted file mode 100644 index bcb71890b1..0000000000 --- a/ghc/compiler/prelude/prelude-structure.tex +++ /dev/null @@ -1,7 +0,0 @@ -\makebox[4.625in][l]{ - \vbox to 4.750in{ - \vfill - \special{psfile=prelude-structure.ps} - } - \vspace{-\baselineskip} -} |