diff options
author | Rickard Green <[email protected]> | 2019-03-07 14:44:14 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2019-03-07 14:44:14 +0100 |
commit | 1e05aaf67fdf7547d72e20ff5a272ad8912f9ae0 (patch) | |
tree | 72b36887e44850e3b0f47ccecbba609dbe4437c9 /system/doc | |
parent | c6508315fbaeee2e442c5623237a58f7e168d145 (diff) | |
parent | fed10a7ed52488fc5de5873bf12443fc07097d89 (diff) | |
download | otp-1e05aaf67fdf7547d72e20ff5a272ad8912f9ae0.tar.gz otp-1e05aaf67fdf7547d72e20ff5a272ad8912f9ae0.tar.bz2 otp-1e05aaf67fdf7547d72e20ff5a272ad8912f9ae0.zip |
Merge branch 'rickard/make-fixes-21/OTP-15657' into maint
* rickard/make-fixes-21/OTP-15657:
Remove own configured RM make variable
Diffstat (limited to 'system/doc')
-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: |