projects / mes.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06e0dfe) | patch
build: Support uninstall.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 22 Jul 2018 15:00:22 +0000 (17:00 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 22 Jul 2018 15:00:22 +0000 (17:00 +0200)
commit5915f182ca62acfc1fd367b3322639ef06069a9b
treeebe751816705688b1430cae017dd38fa8be0b0adtree | snapshot (zip tar.gz)
parent06e0dfe9ad487c290e22c6f2a0ad363804e29fb2commit | diff
build: Support uninstall.

* uninstall.sh: New file.
* GNUmakefile (uninstall): Use it in new target.
GNUmakefile diff | blob | history
build-aux/GNUmakefile.in diff | blob | history
uninstall.sh [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.