merlin
merlin copied to clipboard
`$(opam var share)/merlin/vim/doc/tags` should be deleted on uninstall
The :helptags command in Vim that Merlin advises to run after opam installation generates a tags file in the doc directory. It should be cleaned up if Merlin is uninstalled.
Good catch, I guess there is some field in the opam package to do that ?
Indeed, they are a dedicated opam field for this purpose https://opam.ocaml.org/doc/Manual.html#opamfield-remove.
But adding a field remove: ["rm" share "/merlin/vim/doc/tags"] in the Merlin opam file may cause an error for people who have not run this command.