mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-14 17:13:50 +01:00
make: make doc clean target ignore failures
This commit is contained in:
parent
e6cf525a73
commit
43b191fa00
@ -2,4 +2,4 @@ doc:
|
||||
doxygen riot.doxyfile
|
||||
|
||||
clean:
|
||||
@rm -rf latex man html
|
||||
-@rm -rf latex man html
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user