diff --git a/make/defs.mk b/make/defs.mk index 0bc4ebad..f01eeca1 100644 --- a/make/defs.mk +++ b/make/defs.mk @@ -397,9 +397,7 @@ DOCSUBDIRS += $(wildcard html tex info examples src) BUILD_DOCDIR ?= $(TOPDIR)/doc BUILD_DOC ?= $(DOC_PREFIX) -# TODO: use INSTALL_DOCDIR ?= $(DOC_PREFIX) which currently would break -# _VERSION below -INSTALL_DOCDIR ?= $(PREFIX) +INSTALL_DOCDIR ?= $(DOC_PREFIX) INSTALLED_DOC ?= $(addprefix $(INSTALL_DOCDIR)/,$(DOCS)) # -- LIB