diff options
Diffstat (limited to 'make/otp.mk.in')
-rw-r--r-- | make/otp.mk.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/make/otp.mk.in b/make/otp.mk.in index 249b8d1e26..2261d66c2c 100644 --- a/make/otp.mk.in +++ b/make/otp.mk.in @@ -265,7 +265,6 @@ DEFAULT_GIF_FILES = $(HTMLDIR)/min_head.gif XSLTPROC = @XSLTPROC@ FOP = @FOP@ XMLLINT = @XMLLINT@ -RM = @RM@ CP = @CP@ MKDIR = @MKDIR@ |