Actually get the new docs!

I forgot this in my Makefile update. It's super important, though,
because git controls docs/ so it removes it when you switch branches.

Auditors: kevin