tree 2990ee7a4fccdfa0624cf3b08e05d2814f122d66
parent fff341eb5960f656529b56c949043f041eddbb1e
author Bram Moolenaar <Bram@vim.org> 1457876052 +0100
committer Bram Moolenaar <Bram@vim.org> 1457876052 +0100

patch 7.4.1556
Problem:    "make install" changes the help tags file, causing it to differ
            from the repository.
Solution:   Move it aside and restore it.