'make doc' pushes new documentation to the frenetic/doc directory.