ia64/xen-unstable

changeset 2057:bd7b8d136aba

bitkeeper revision 1.1132 (410faf68WjaPaiCbHu5bsvquxnNPJg)

Merge scramble.cl.cam.ac.uk:/auto/groups/xeno/BK/xeno.bk
into scramble.cl.cam.ac.uk:/local/scratch/kaf24/xeno
author kaf24@scramble.cl.cam.ac.uk
date Tue Aug 03 15:29:44 2004 +0000 (2004-08-03)
parents 5dc17e68374c 3c9be01ca154
children 1ac7603a60bd 6c97e3c04673
files docs/Makefile docs/user.tex
line diff
     1.1 --- a/docs/Makefile	Tue Aug 03 14:03:58 2004 +0000
     1.2 +++ b/docs/Makefile	Tue Aug 03 15:29:44 2004 +0000
     1.3 @@ -33,8 +33,8 @@ install: $(DOCUMENTS)
     1.4  	dvips -Ppdf -G0 -o $@ $<
     1.5  
     1.6  %.dvi: %.tex
     1.7 -	latex $*
     1.8 -	if [ -e $*.toc ] ; then latex $* ; fi
     1.9 +	latex $* >/dev/null
    1.10 +	if [ -e $*.toc ] ; then latex $* >/dev/null ; fi
    1.11  
    1.12  %.eps: %.fig
    1.13  	fig2dev -L eps $< $@
    1.14 @@ -43,4 +43,4 @@ install: $(DOCUMENTS)
    1.15  	tgif -print -color -eps $<
    1.16  
    1.17  %.html: %.tex
    1.18 -	latex2html --split 0 --nonavigation --noinfo --math $<
    1.19 +	latex2html --split 0 --nonavigation --noinfo --math $< 1>/dev/null 2>/dev/null
     2.1 --- a/docs/user.tex	Tue Aug 03 14:03:58 2004 +0000
     2.2 +++ b/docs/user.tex	Tue Aug 03 15:29:44 2004 +0000
     2.3 @@ -1183,7 +1183,6 @@ editting \path{grub.conf}.
     2.4   'nmi=fatal':  Xen prints a diagnostic and then hangs. \\
     2.5   'nmi=dom0':   Inform DOM0 of the NMI. \\
     2.6   'nmi=ignore': Ignore the NMI. \\
     2.7 - [NB. Default is 'dom0' ('fatal' for debug builds).] \\
     2.8  
     2.9  {\bf dom0\_mem=xxx } \\
    2.10   Set the maximum amount of memory for domain0. \\