Pushed to the repo the following changes: * When generating MANIFEST.SKIP for distcheck, it will be removed immediately when the action is completed. (This means that subsequently added MANIFEST.SKIP will not be deleted during "clean".)
* Added "Build manifest_skip" to generate one permanently if desired -- David
