diff options
-rw-r--r-- | docs/rts/Makefile | 4 | ||||
-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 |