diff options
Diffstat (limited to 'ghc/compiler/prelude/Makefile-fig')
| -rw-r--r-- | ghc/compiler/prelude/Makefile-fig | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/ghc/compiler/prelude/Makefile-fig b/ghc/compiler/prelude/Makefile-fig deleted file mode 100644 index bcb4e608d5..0000000000 --- a/ghc/compiler/prelude/Makefile-fig +++ /dev/null @@ -1,18 +0,0 @@ -# -# TransFig makefile -# - -all: prelude-structure.tex - -# translation into ps - -prelude-structure.tex: prelude-structure.ps Makefile-fig - fig2ps2tex prelude-structure.ps >prelude-structure.tex -clean:: - rm -f prelude-structure.tex - -prelude-structure.ps: prelude-structure.fig Makefile-fig - fig2dev -L ps prelude-structure.fig > prelude-structure.ps -clean:: - rm -f prelude-structure.ps - |