diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/docs/Makefile b/docs/Makefile index 46c2d38c59..d9ae6715ac 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -10,10 +10,7 @@ FIG2DEV := fig2dev TGIF := tgif LATEX2HTML := latex2html -package = xen -prefix = /usr -docdir = $(prefix)/share/doc -pkgdocdir = $(docdir)/$(package) +pkgdocdir := /usr/share/doc/xen DOC_TEX := $(wildcard src/*.tex) DOC_PS := $(patsubst src/%.tex,ps/%.ps,$(DOC_TEX)) |