Merge pull request #8450 from tk0miya/8437_safety_make_clean

Fix #8437: Do `make clean` in more safe way
This commit is contained in:
Takeshi KOMIYA 2020-11-21 02:12:35 +09:00 committed by GitHub
commit 13a986b299
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 1 deletions

View File

@ -49,6 +49,7 @@ Bugs fixed
based uninitalized variables
* #8419: html search: Do not load ``language_data.js`` in non-search pages
* #8454: graphviz: The layout option for graph and digraph directives don't work
* #8437: Makefile: ``make clean`` with empty BUILDDIR is dangerous
Testing
--------

View File

@ -49,7 +49,7 @@ help:
.PHONY: clean
clean:
rm -rf $(BUILDDIR)/*
rm -rf $(BUILDDIR)
.PHONY: latexpdf
latexpdf: