Fix for doc building - latex needs newline after > text

haskell/src/SEL4/API/Invocation.lhs

@@ -142,3 +142,4 @@ The following data type defines the set of possible invocations for IRQ capabili
 >             setIRQHandlerCap :: Capability,
 >             setIRQHandlerSlot :: PPtr CTE }
 >         deriving Show
+

haskell/src/SEL4/Machine/Hardware.lhs

@@ -215,3 +215,5 @@ The constant "nullPointer" is a physical pointer guaranteed to be invalid.
 
 > physBase :: PAddr
 > physBase = Arch.physBase
+
+