diff options
author | Rickard Green <[email protected]> | 2019-03-06 20:39:28 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2019-03-06 20:39:28 +0100 |
commit | fed10a7ed52488fc5de5873bf12443fc07097d89 (patch) | |
tree | 7a7529e9a5677e8b0477c7d7d94fb84e645a71e4 /system/doc/top/Makefile | |
parent | b32a929bbb287c318f44cb0ecf17716c480f11ee (diff) | |
parent | 3d5876a20675a6987288afde6f9259a0758cb152 (diff) | |
download | otp-fed10a7ed52488fc5de5873bf12443fc07097d89.tar.gz otp-fed10a7ed52488fc5de5873bf12443fc07097d89.tar.bz2 otp-fed10a7ed52488fc5de5873bf12443fc07097d89.zip |
Merge 'rickard/make-fixes-20/OTP-15657' into 'rickard/make-fixes-21/OTP-15657'
* rickard/make-fixes-20/OTP-15657:
Remove own configured RM make variable
Diffstat (limited to 'system/doc/top/Makefile')
-rw-r--r-- | system/doc/top/Makefile | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/system/doc/top/Makefile b/system/doc/top/Makefile index 2f50ff1905..3267bf96df 100644 --- a/system/doc/top/Makefile +++ b/system/doc/top/Makefile @@ -261,13 +261,13 @@ html: $(INDEX_FILES) \ debug opt: clean: - $(RM) -f ../html/js/*.js - $(RM) -f PR.template - $(RM) -f $(XMLDIR)/*.xml - $(RM) -f $(INDEX_FILES) $(MAN_INDEX) - $(RM) -f $(TOP_PDF_FILE) $(TOP_PDF_FILE:%.pdf=%.fo) - $(RM) -f $(INDEX_SCRIPT) $(GLOSSARY_SCRIPT) $(JAVASCRIPT_BUILD_SCRIPT) - $(RM) -f erl_crash.dump errs core *~ + $(RM) ../html/js/*.js + $(RM) PR.template + $(RM) $(XMLDIR)/*.xml + $(RM) $(INDEX_FILES) $(MAN_INDEX) + $(RM) $(TOP_PDF_FILE) $(TOP_PDF_FILE:%.pdf=%.fo) + $(RM) $(INDEX_SCRIPT) $(GLOSSARY_SCRIPT) $(JAVASCRIPT_BUILD_SCRIPT) + $(RM) erl_crash.dump errs core *~ # ---------------------------------------------------- # Release Target @@ -291,7 +291,7 @@ release_docs_spec: docs $(INSTALL_DATA) $(INDEX_SCRIPT) $(MAN_INDEX_SCRIPT) $(JAVASCRIPT_BUILD_SCRIPT) \ $(INDEX_SRC) $(MAN_INDEX_SRC) $(JAVASCRIPT_BUILD_SCRIPT_SRC) \ $(TEMPLATES) $(RELSYSDIR)/docbuild - $(RM) -rf $(RELSYSDIR)/temporary + $(RM) -r $(RELSYSDIR)/temporary release_spec: |