Only generate Doxyfile if generating docs.

Fixes #307.