"make clean-install" does what I want. Thanks.
On Mon, Nov 7, 2016 at 6:09 AM, Nicolas Goaziou <m...@nicolasgoaziou.fr> wrote:
> Hello,
>
> Chunyang Xu <xuchunyang...@gmail.com> writes:
>
>> I just install Org into /usr/local/share via
>> 'make && sudo make install', then I realize that I don't
>> need this and want to uninstall, but there is no uninstall rule. I am
>> going to delete these files and update infodir manually, which is not
>> very easy.
>>
>> Is it possible to provide a uninstall rule?
>
> There is "make clean-install". It might do what you are looking for.
>
> Regards,
>
> --
> Nicolas Goaziou
