要将微信视频制作成短视频并发布，首先需要将微信视频下载到本地。可以通过在微信中收到的视频消息中，点击视频右下角的下载按钮，等待视频下载完成。当然，也可以在手机上进行截屏或者使用第三方下载软件将视频保存到手机相册中。接下来，我们可以利用一些专业的视频编辑软件进行后续制作。
在选择视频编辑软件时，可以考虑使用一些功能强大，操作相对简单的软件，比如InShot、快手、剪映等。这些软件都具有视频剪辑、滤镜、特效、文字添加等功能，可以让我们对微信视频进行剪辑、添加特效和字幕等操作。在选择软件时，可以根据自己的需求和操作习惯来进行选择。
在进行视频剪辑时，可以根据自己的需求将微信视频进行剪裁，去掉无关的片段，保留精华部分。此外，还可以通过添加过渡效果、调整视频速度等手段来提升视频的观赏性。
在视频编辑过程中，可以适当地添加一些音乐作为背景音乐，增强视频的氛围感。选择音乐时要注意遵守版权规定，可以选择一些免费的音乐素材或者购买正版音乐来使用。
在视频制作的过程中，可以考虑添加一些文字说明或者注解，使观众更好地理解视频内容。此外，还可以通过添加一些特效、滤镜等手段来提升视频的观赏性，吸引更多的观众。
在视频编辑完成后，可以选择合适的分辨率和格式进行导出。一般来说，可以选择常见的视频格式（比如MP4）来进行导出，同时要注意选择适合的分辨率，以便在不同的平台上都能得到良好的播放效果。
最后，编辑好的短视频可以通过微信、抖音、快手等平台进行发布。在发布的过程中，要注意添加合适的标题、标签和封面，以吸引更多的观众。另外，还可以适当地利用社交媒体进行宣传，吸引更多的关注和转发。