mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
doc/doxygen: Clean up Makefile
This commit is contained in:
parent
bb6cfa1569
commit
68ce9397cb
@ -1,4 +1,9 @@
|
||||
doc:
|
||||
.PHONY: doc
|
||||
doc: html
|
||||
|
||||
# by marking html as phony we force make to re-run Doxygen even if the directory exists.
|
||||
.PHONY: html
|
||||
html:
|
||||
doxygen riot.doxyfile
|
||||
|
||||
clean:
|
||||
|
Loading…
Reference in New Issue
Block a user