I'm on windows :-) And it doesn't seem to be in the makefile (at least `make doc` has no compile step)