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?