tools: move to src

FossilOrigin-Name: e320e235b6dd6b0d4b0d04df12c1c5e481c524412d286dc6375b6cd4231eed8b

1 files changed, 2 insertions, 2 deletions

diff --git a/Makefile b/Makefile
index 8018997..4ae4647 100644
--- a/Makefile
+++ b/Makefile
@@ -17,13 +17,13 @@ clean:
 	rm -f ${BIN} ${OBJ}
 
 install: all
-	for bin in tools/* ${BIN} contrib/*; do \
+	for bin in src/* ${BIN} contrib/*; do \
 		install -Dm755 $${bin} ${DESTDIR}${BINDIR}/$${bin##*/}; done
 	for man in man/*.1; do install -Dm644 $${man} ${DESTDIR}${MAN1}/$${man##*/}; done
 	for doc in doc/*; do install -Dm644 $${doc} ${DESTDIR}${CPTDOC}/$${doc##*/}; done
 
 uninstall:
-	for bin in ${BIN} tools/* contrib/*; do \
+	for bin in ${BIN} src/* contrib/*; do \
 		rm -f ${DESTDIR}${BINDIR}/$${bin##*/}; done
 	for man in man/*; do rm -f ${DESTDIR}${MAN1}/$${man##*/}; done
 	rm -rf ${DESTDIR}${CPTDOC}