diff options
author | Rickard Green <[email protected]> | 2019-03-06 20:40:54 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2019-03-06 20:40:54 +0100 |
commit | 8575cb5eb636018a45c00be13855c32faeccdd13 (patch) | |
tree | a84b803710386bbb4b2a25a250a05093278d0f70 /system/doc | |
parent | 05c5720845e0e2142a3b1c6e4b1e9f1e22c19a5c (diff) | |
parent | fed10a7ed52488fc5de5873bf12443fc07097d89 (diff) | |
download | otp-8575cb5eb636018a45c00be13855c32faeccdd13.tar.gz otp-8575cb5eb636018a45c00be13855c32faeccdd13.tar.bz2 otp-8575cb5eb636018a45c00be13855c32faeccdd13.zip |
Merge 'rickard/make-fixes-21/OTP-15657' into 'rickard/make-fixes-22/OTP-15657'
* 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 a978413e11..e3f9c4710a 100644 --- a/system/doc/top/Makefile +++ b/system/doc/top/Makefile @@ -264,13 +264,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 @@ -294,7 +294,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: |