<!ENTITY ghci SYSTEM "ghci.xml">
+<!ENTITY runghc SYSTEM "runghc.xml">
<!ENTITY flags SYSTEM "flags.xml">
<!ENTITY license SYSTEM "license.xml">
<!ENTITY intro SYSTEM "intro.xml" >
<!ENTITY packages SYSTEM "packages.xml" >
<!ENTITY parallel SYSTEM "parallel.xml" >
<!ENTITY phases SYSTEM "phases.xml" >
-<!ENTITY primitives SYSTEM "primitives.xml" >
<!ENTITY separate SYSTEM "separate_compilation.xml" >
<!ENTITY bugs SYSTEM "bugs.xml" >
<!ENTITY wrong SYSTEM "gone_wrong.xml" >