+<listitem><para> Just as compiling <filename>A.hs</filename> produces an
+interface file <filename>A.hi</filename>, and an object file
+<filename>A.o</filename>, so compiling <filename>A.hs-boot</filename>
+produces an interface file
+<filename>A.hi-boot</filename>, and an pseudo-object file
+<filename>A.o-boot</filename>:
+<itemizedlist>
+<listitem><para>
+The pseudo-object file <filename>A.o-boot</filename> is empty (don't link it!), but it is
+very useful when using a Makefile, to record when the <filename>A.hi-boot</filename> was
+last brought up to date (see <xref linkend="using-make"/>).
+</para>
+</listitem>
+
+ <listitem><para> The <filename>hi-boot</filename> generated by compiling a <filename>hs-boot</filename>
+ file is in the same machine-generated binary format as any other
+ GHC-generated interface file (e.g. <filename>B.hi</filename>).
+ You can display its contents with <command>ghc --show-iface</command>. If you
+ specify a directory for interface files, the <option>-ohidir</option> flag, then that affects
+ <filename>hi-boot</filename> files too.</para></listitem>b
+</itemizedlist>
+</para></listitem>
+