doxx added to source, pushdocs script