diff --git a/ghc/compiler/absCSyn/AbsCLoop_1_3.lhi b/ghc/compiler/absCSyn/AbsCLoop_1_3.lhi
deleted file mode 100644
index a7401e1c753dcec5e90e3f8a9c60987daae886dc..0000000000000000000000000000000000000000
--- a/ghc/compiler/absCSyn/AbsCLoop_1_3.lhi
+++ /dev/null
@@ -1,21 +0,0 @@
-\begin{code}
-interface AbsCLoop_1_3 1
-__exports__
-MachMisc fixedHdrSizeInWords (..)
-MachMisc varHdrSizeInWords   (..)
-CgRetConv ctrlReturnConvAlg (..)
-CgRetConv CtrlReturnConvention(..)
-ClosureInfo closureKind (..)
-ClosureInfo closureLabelFromCI (..)
-ClosureInfo closureNonHdrSize (..)
-ClosureInfo closurePtrsSize (..)
-ClosureInfo closureSMRep (..)
-ClosureInfo closureSemiTag (..)
-ClosureInfo closureSizeWithoutFixedHdr (..)
-ClosureInfo closureTypeDescr (..)
-ClosureInfo closureUpdReqd (..)
-ClosureInfo infoTableLabelFromCI (..)
-ClosureInfo maybeSelectorInfo (..)
-ClosureInfo entryLabelFromCI (..)
-ClosureInfo fastLabelFromCI (..)
-\end{code}
diff --git a/ghc/compiler/basicTypes/IdLoop_1_3.lhi b/ghc/compiler/basicTypes/IdLoop_1_3.lhi
deleted file mode 100644
index 30804febc88f5aec1be42c99dca97acecd2f7c94..0000000000000000000000000000000000000000
--- a/ghc/compiler/basicTypes/IdLoop_1_3.lhi
+++ /dev/null
@@ -1,27 +0,0 @@
-\begin{code}
-interface IdLoop_1_3 1
-__exports__
-CoreSyn CoreExpr
-CoreUnfold FormSummary (..)
-CoreUnfold Unfolding (..)
-CoreUnfold SimpleUnfolding (..)
-CoreUnfold UnfoldingGuidance (..)
-CoreUtils unTagBinders (..)
-Id IdEnv
-Id externallyVisibleId (..)
-Id getIdInfo (..)
-Id isDataCon (..)
-Id isWorkerId (..)
-Id lookupIdEnv (..)
-Id nmbrId (..)
-Id nullIdEnv (..)
-Id unfoldingUnfriendlyId (..)
-MagicUFs MagicUnfoldingFun
-MagicUFs mkMagicUnfoldingFun (..)
-OccurAnal occurAnalyseGlobalExpr (..)
-PprType pprParendGenType (..)
-SpecEnv  SpecEnv
-SpecEnv  isNullSpecEnv (..)
-SpecEnv  nullSpecEnv (..)
-WwLib mAX_WORKER_ARGS (..)
-\end{code}
diff --git a/ghc/compiler/codeGen/CgLoop1_1_3.lhi b/ghc/compiler/codeGen/CgLoop1_1_3.lhi
deleted file mode 100644
index c5b3d81f8638c7624b719d77a2bf2c116b6582a0..0000000000000000000000000000000000000000
--- a/ghc/compiler/codeGen/CgLoop1_1_3.lhi
+++ /dev/null
@@ -1,10 +0,0 @@
-\begin{code}
-interface CgLoop1_1_3 1
-__exports__
-CgBindery CgBindings(..)
-CgBindery CgIdInfo(..)
-CgBindery nukeVolatileBinds (..)
-CgBindery maybeAStkLoc (..)
-CgBindery maybeBStkLoc (..)
-CgUsages  getSpBRelOffset (..)
-\end{code}
diff --git a/ghc/compiler/codeGen/CgLoop2_1_3.lhi b/ghc/compiler/codeGen/CgLoop2_1_3.lhi
deleted file mode 100644
index e813a302c9f4f4d8f0cc8e0ca82df0d6e4be2b4b..0000000000000000000000000000000000000000
--- a/ghc/compiler/codeGen/CgLoop2_1_3.lhi
+++ /dev/null
@@ -1,6 +0,0 @@
-\begin{code}
-interface CgLoop2_1_3 1
-__exports__
-CgExpr cgExpr (..)
-CgExpr getPrimOpArgAmodes (..)
-\end{code}
diff --git a/ghc/compiler/deSugar/DsLoop_1_3.lhi b/ghc/compiler/deSugar/DsLoop_1_3.lhi
deleted file mode 100644
index b0ae22a56dd7947e4f4e3811f5516722221197c0..0000000000000000000000000000000000000000
--- a/ghc/compiler/deSugar/DsLoop_1_3.lhi
+++ /dev/null
@@ -1,8 +0,0 @@
-\begin{code}
-interface DsLoop_1_3 1
-__exports__
-Match match (..)
-Match matchSimply (..)
-DsBinds	dsBinds (..)
-DsExpr	dsExpr (..)
-\end{code}
diff --git a/ghc/compiler/hsSyn/HsLoop_1_3.lhi b/ghc/compiler/hsSyn/HsLoop_1_3.lhi
deleted file mode 100644
index 20c936e100b9da729a2f6fdb553a634488fd25d7..0000000000000000000000000000000000000000
--- a/ghc/compiler/hsSyn/HsLoop_1_3.lhi
+++ /dev/null
@@ -1,10 +0,0 @@
-\begin{code}
-interface HsLoop_1_3 1
-__exports__
-HsBinds HsBinds
-HsBinds nullBinds (..)
-HsBinds MonoBinds
-HsBinds Sig
-HsBinds nullMonoBinds (..)
-HsExpr  HsExpr
-\end{code}
diff --git a/ghc/compiler/nativeGen/NcgLoop_1_3.lhi b/ghc/compiler/nativeGen/NcgLoop_1_3.lhi
deleted file mode 100644
index 34415d81255bab6325baff7f150821d5a0a1b966..0000000000000000000000000000000000000000
--- a/ghc/compiler/nativeGen/NcgLoop_1_3.lhi
+++ /dev/null
@@ -1,7 +0,0 @@
-\begin{code}
-interface NcgLoop_1_3 1
-__exports__
-MachMisc underscorePrefix (..)
-MachMisc fmtAsmLbl (..)
-StixPrim amodeToStix (..)
-\end{code}
diff --git a/ghc/compiler/prelude/PrelLoop_1_3.lhi b/ghc/compiler/prelude/PrelLoop_1_3.lhi
deleted file mode 100644
index 73aca3b2494e1f5b1beb3c398ee709bd2b5597ea..0000000000000000000000000000000000000000
--- a/ghc/compiler/prelude/PrelLoop_1_3.lhi
+++ /dev/null
@@ -1,9 +0,0 @@
-\begin{code}
-interface PrelLoop_1_3 1
-__exports__
-Name mkWiredInName (..)
-Type mkSigmaTy (..)
-Type mkFunTys (..)
-Type mkFunTy (..)
-IdUtils primOpNameInfo (..)
-\end{code}
diff --git a/ghc/compiler/rename/RnLoop_1_3.lhi b/ghc/compiler/rename/RnLoop_1_3.lhi
deleted file mode 100644
index b26f8ff5f77ca8a20952edb600923b007ed298d1..0000000000000000000000000000000000000000
--- a/ghc/compiler/rename/RnLoop_1_3.lhi
+++ /dev/null
@@ -1,7 +0,0 @@
-\begin{code}
-interface RnLoop_1_3 1
-__exports__
-RnBinds  rnBinds (..)
-RnBinds  FreeVars
-RnSource rnPolyType (..)
-\end{code}
diff --git a/ghc/compiler/simplCore/SmplLoop_1_3.lhi b/ghc/compiler/simplCore/SmplLoop_1_3.lhi
deleted file mode 100644
index ef837c9977090e109b67c5c9841d5297957dd686..0000000000000000000000000000000000000000
--- a/ghc/compiler/simplCore/SmplLoop_1_3.lhi
+++ /dev/null
@@ -1,8 +0,0 @@
-\begin{code}
-interface SmplLoop_1_3 1
-__exports__
-SimplUtils  simplIdWantsToBeINLINEd (..)
-Simplify    simplExpr (..)
-Simplify    simplBind (..)
-MagicUFs    MagicUnfoldingFun
-\end{code}
diff --git a/ghc/compiler/typecheck/TcLoop_1_3.lhi b/ghc/compiler/typecheck/TcLoop_1_3.lhi
deleted file mode 100644
index 0fcf3ed975fb306b6e748ec855fc1f7bc98ac114..0000000000000000000000000000000000000000
--- a/ghc/compiler/typecheck/TcLoop_1_3.lhi
+++ /dev/null
@@ -1,5 +0,0 @@
-\begin{code}
-interface TcLoop_1_3 1
-__exports__
-TcGRHSs tcGRHSsAndBinds (..)
-\end{code}
diff --git a/ghc/compiler/typecheck/TcMLoop_1_3.lhi b/ghc/compiler/typecheck/TcMLoop_1_3.lhi
deleted file mode 100644
index 869c5c7531ac1929a2400559eb54167bfaadddbb..0000000000000000000000000000000000000000
--- a/ghc/compiler/typecheck/TcMLoop_1_3.lhi
+++ /dev/null
@@ -1,7 +0,0 @@
-\begin{code}
-interface TcMLoop_1_3 1
-__exports__
-TcEnv TcEnv
-TcEnv initEnv (..)
-TcType TcMaybe
-\end{code}
diff --git a/ghc/compiler/types/TyLoop_1_3.lhi b/ghc/compiler/types/TyLoop_1_3.lhi
deleted file mode 100644
index ebd4bfa8f5ed83f37506fc80efadd20fc649a0bc..0000000000000000000000000000000000000000
--- a/ghc/compiler/types/TyLoop_1_3.lhi
+++ /dev/null
@@ -1,20 +0,0 @@
-\begin{code}
-interface TyLoop_1_3 1
-__exports__
-Outputable Outputable (..)
-Type	Type
-Type	GenType
-Type	splitSigmaTy (..)
-Type	splitFunTy (..)
-Class	Class
-Class	GenClass
-Id	StrictnessMark(..)
-Id	Id
-Id	GenId
-Id	mkDataCon (..)
-Id	mkTupleCon (..)
-Id	idType (..)
-Id	isNullaryDataCon (..)
-Id	dataConArgTys (..)
-TysPrim voidTy (..)
-\end{code}
diff --git a/ghc/compiler/utils/Ubiq_1_3.lhi b/ghc/compiler/utils/Ubiq_1_3.lhi
deleted file mode 100644
index 8cb031eb68d722abec24814326cb1cd413e01298..0000000000000000000000000000000000000000
--- a/ghc/compiler/utils/Ubiq_1_3.lhi
+++ /dev/null
@@ -1,68 +0,0 @@
-\begin{code}
-interface Ubiq_1_3 1
-__exports__
-GHCbase trace (..)
-GHCps tailPS (..)
-GHCps nilPS (..)
-GHCps appendPS (..)
-GHCps concatPS (..)
-GHCps consPS (..)
-GHCps headPS (..)
-GHCps lengthPS (..)
-GHCps nullPS (..)
-GHCps packCString (..)
-GHCps packCBytes (..)
-GHCps packString (..)
-GHCps unpackPS (..)
-Bag Bag
-BinderInfo BinderInfo
-CLabel CLabel
-Class Class
-ClosureInfo ClosureInfo
-CmdLineOpts SwitchResult
-CoreSyn GenCoreExpr
-CoreUnfold Unfolding
-CoreUnfold UnfoldingGuidance
-CostCentre CostCentre
-HeapOffs HeapOffset
-HsCore UnfoldingCoreExpr
-HsPragmas ClassOpPragmas
-HsPragmas ClassPragmas
-HsPragmas DataPragmas
-HsPragmas GenPragmas
-HsPragmas InstancePragmas
-Id Id
-IdInfo ArityInfo
-IdInfo DeforestInfo
-IdInfo Demand
-IdInfo IdInfo
-IdInfo OptIdInfo(..)
-IdInfo StrictnessInfo
-IdInfo UpdateInfo
-Kind Kind
-Literal Literal
-Maybes MaybeErr
-Name ExportFlag
-Name Module
-Name Name
-Name NamedThing (..)
-Name RdrName (..)
-Outputable Outputable (..)
-PprStyle PprStyle
-PragmaInfo PragmaInfo
-PrimOp PrimOp
-PrimRep PrimRep
-RnHsSyn RnName
-SrcLoc SrcLoc
-TyCon Arity
-TyCon TyCon
-TyVar TyVar
-Type GenType
-Type Type
-UniqFM UniqFM
-UniqFM Uniquable (..)
-UniqSupply UniqSupply
-Unique Unique
-Usage GenUsage
-Util Ord3 (..)
-\end{code}