ia64/xen-unstable

view docs/Docs.mk @ 18810:2f8b0e14143c

xen s3, No need to check idle vcpu before update_vcpu_system_time().

Signed-off-by: Kevin Tian <kevin.tian@intel.com>
author Keir Fraser <keir.fraser@citrix.com>
date Wed Nov 19 12:52:03 2008 +0000 (2008-11-19)
parents 4ce366cde89c
children
line source
1 PS2PDF := ps2pdf
2 DVIPS := dvips
3 LATEX := latex
4 FIG2DEV := fig2dev
5 LATEX2HTML := latex2html
6 DOXYGEN := doxygen
7 POD2MAN := pod2man
8 DOT := dot
9 NEATO := neato