bitkeeper revision 1.1159.12.1 (4117f0d1EjfQrr7cjM82SS7qdzq81A)

Build xend manual plus latex fixes

docs/Makefile

@@ -5,7 +5,7 @@
 # DOCUMENTS should be a list of the target Postscript files.
 
 DOCUMENTS = interface.ps interface.pdf interface.html user.ps \
-	    user.pdf user.html
+	    user.pdf user.html xend.ps xend.pdf xend.html
 
 GFX  = $(patsubst %.obj, %.eps, $(wildcard figs/*.obj))
 GFX += $(patsubst %.fig, %.eps, $(wildcard figs/*.fig))

docs/xend.tex

@@ -123,7 +123,7 @@ to release the devices for exited domains. Xend also closes any open console
 connections and removes the TCP listeners for exited domains.
 Once all devices have been released it instructs xen to destroy the memory image.
 
-\seb{Domain restart}
+\secb{Domain restart}
 Domain restart is the xen equivalent of a machine reboot. When a domain
 exits because it has been shutdown in reboot mode, its exit code is reboot.
 When examining domains to find those that have exited and destroy them,
@@ -445,4 +445,4 @@ http://www.openssh.org.
 http://www.stunnel.org.
 
 \end{thebibliography}
-\end{document}
+\end{document}