summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/rts/Makefile4
-rw-r--r--ghc/docs/rts/closure.ps (renamed from docs/rts/closure.ps)0
-rw-r--r--ghc/docs/rts/closure.tex (renamed from docs/rts/closure.tex)0
-rw-r--r--ghc/docs/rts/hugs_ret.pstex (renamed from docs/rts/hugs_ret.pstex)0
-rw-r--r--ghc/docs/rts/hugs_ret.pstex_t (renamed from docs/rts/hugs_ret.pstex_t)0
-rw-r--r--ghc/docs/rts/hugs_ret2.pstex (renamed from docs/rts/hugs_ret2.pstex)0
-rw-r--r--ghc/docs/rts/hugs_ret2.pstex_t (renamed from docs/rts/hugs_ret2.pstex_t)0
-rw-r--r--ghc/docs/rts/rts.verb (renamed from docs/rts/rts.verb)0
8 files changed, 0 insertions, 4 deletions
diff --git a/docs/rts/Makefile b/docs/rts/Makefile
deleted file mode 100644
index 36006de78d..0000000000
--- a/docs/rts/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-TOP = ../..
-include $(TOP)/mk/boilerplate.mk
-
-include $(TOP)/mk/target.mk
diff --git a/docs/rts/closure.ps b/ghc/docs/rts/closure.ps
index 241bf9b404..241bf9b404 100644
--- a/docs/rts/closure.ps
+++ b/ghc/docs/rts/closure.ps
diff --git a/docs/rts/closure.tex b/ghc/docs/rts/closure.tex
index 572a8516cf..572a8516cf 100644
--- a/docs/rts/closure.tex
+++ b/ghc/docs/rts/closure.tex
diff --git a/docs/rts/hugs_ret.pstex b/ghc/docs/rts/hugs_ret.pstex
index 9a7ed98456..9a7ed98456 100644
--- a/docs/rts/hugs_ret.pstex
+++ b/ghc/docs/rts/hugs_ret.pstex
diff --git a/docs/rts/hugs_ret.pstex_t b/ghc/docs/rts/hugs_ret.pstex_t
index 3b844da3f0..3b844da3f0 100644
--- a/docs/rts/hugs_ret.pstex_t
+++ b/ghc/docs/rts/hugs_ret.pstex_t
diff --git a/docs/rts/hugs_ret2.pstex b/ghc/docs/rts/hugs_ret2.pstex
index 74d081c40c..74d081c40c 100644
--- a/docs/rts/hugs_ret2.pstex
+++ b/ghc/docs/rts/hugs_ret2.pstex
diff --git a/docs/rts/hugs_ret2.pstex_t b/ghc/docs/rts/hugs_ret2.pstex_t
index 13208a3de1..13208a3de1 100644
--- a/docs/rts/hugs_ret2.pstex_t
+++ b/ghc/docs/rts/hugs_ret2.pstex_t
diff --git a/docs/rts/rts.verb b/ghc/docs/rts/rts.verb
index 4fb0a0145c..4fb0a0145c 100644
--- a/docs/rts/rts.verb
+++ b/ghc/docs/rts/rts.verb