diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index 59e9fa69d7..0432855384 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,8 +1,9 @@ #!/usr/bin/make -f +XEN_ROOT=.. +include $(XEN_ROOT)/Config.mk + VERSION = xen-unstable -INSTALL = install -INSTALL_DIR = $(INSTALL) -d -m0755 PS2PDF := ps2pdf DVIPS := dvips |