diff options
| author | Rickard Green <[email protected]> | 2019-03-06 17:55:41 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2019-03-06 20:17:37 +0100 |
| commit | d9dd041acc211907b6cea4ae93f39c6319153d15 (patch) | |
| tree | a059df820e6748de55c14f2431c7ec723886ac07 /system/doc | |
| parent | 1adb588f84b1a9340beac2719c0890a05e2dfaad (diff) | |
| download | otp-d9dd041acc211907b6cea4ae93f39c6319153d15.tar.gz otp-d9dd041acc211907b6cea4ae93f39c6319153d15.tar.bz2 otp-d9dd041acc211907b6cea4ae93f39c6319153d15.zip | |
Remove own configured RM make variable
Instead rely on gnu make's pre-defined RM variable which should
equal 'rm -f'
Diffstat (limited to 'system/doc')
| -rw-r--r-- | system/doc/top/Makefile | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/system/doc/top/Makefile b/system/doc/top/Makefile index 823ec18940..e4b2aca612 100644 --- a/system/doc/top/Makefile +++ b/system/doc/top/Makefile @@ -242,12 +242,12 @@ html: $(INDEX_FILES) \ debug opt: clean: - $(RM) -f ../html/js/*.js - $(RM) -f PR.template - $(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) $(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 @@ -271,7 +271,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: |