make-dist (nt): Adjust to changes in names of the *.manifest files.
Attach a file by drag & drop or click to upload
