aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--docs/Makefile2
-rw-r--r--docs/xend.tex4
2 files changed, 3 insertions, 3 deletions
diff --git a/docs/Makefile b/docs/Makefile
index ae8db6a27c..416f2b70c1 100644
--- a/docs/Makefile
+++ b/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))
diff --git a/docs/xend.tex b/docs/xend.tex
index abf402adfb..ec62af5e11 100644
--- a/docs/xend.tex
+++ b/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} \ No newline at end of file
+\end{document}