diff options
Diffstat (limited to 'api_docgen/odoc/Makefile')
| -rw-r--r-- | api_docgen/odoc/Makefile | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/api_docgen/odoc/Makefile b/api_docgen/odoc/Makefile index d99f01c5b7..2f5dcf8e6e 100644 --- a/api_docgen/odoc/Makefile +++ b/api_docgen/odoc/Makefile @@ -12,10 +12,14 @@ #* special exception on linking described in the file LICENSE. * #* * #************************************************************************** -include $(ROOTDIR)/api_docgen/Makefile.common -vpath %.cmti $(ROOTDIR)/stdlib $(DOC_COMPILERLIBS_DIRS) $(DOC_STDLIB_DIRS) -vpath %.cmt $(ROOTDIR)/stdlib +# Used by included Makefiles +ROOTDIR = ../.. + +include ../Makefile.common + +vpath %.cmti ../../stdlib $(DOC_COMPILERLIBS_DIRS) $(DOC_STDLIB_DIRS) +vpath %.cmt ../../stdlib ifeq ($(DOCUMENTATION_TOOL),odoc) odoc ?= $(DOCUMENTATION_TOOL_CMD) |