added missing manual files to the distribution