doxygen: riot.css modified by 'make doc' #8122
Description
Calling make doc modifies riot.css in-place, making it show up in git's changed files list.
That's a little annoying. Can that be avoided?
{{ message }}
Calling make doc modifies riot.css in-place, making it show up in git's changed files list.
That's a little annoying. Can that be avoided?