diff options
Diffstat (limited to 'make/otp.mk.in')
| -rw-r--r-- | make/otp.mk.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/make/otp.mk.in b/make/otp.mk.in index a89bc37820..ddc9cd9b79 100644 --- a/make/otp.mk.in +++ b/make/otp.mk.in @@ -68,6 +68,7 @@ INSTALL_DIR = @INSTALL_DIR@ INSTALL_PROGRAM = @INSTALL_PROGRAM@ INSTALL_SCRIPT = @INSTALL_SCRIPT@ INSTALL_DATA = @INSTALL_DATA@ +INSTALL_DIR_DATA = $(ERL_TOP)/make/install_dir_data.sh CC = @CC@ GCC = @GCC@ @@ -263,6 +264,9 @@ DEFAULT_GIF_FILES = $(HTMLDIR)/min_head.gif XSLTPROC = @XSLTPROC@ FOP = @FOP@ XMLLINT = @XMLLINT@ +RM = @RM@ +CP = @CP@ +MKDIR = @MKDIR@ DOCGEN=$(ERL_TOP)/lib/erl_docgen FOP_CONFIG = $(DOCGEN)/priv/fop.xconf |