make docs a part of the distribution