git mv src/mandir src/instool

2 files changed, 1 insertions, 1 deletions

diff --git a/deps.mk b/deps.mk
index 67f8625..5f2910c 100644
--- a/deps.mk
+++ b/deps.mk
@@ -5,7 +5,7 @@ sources.sh = \
 	src/htmlesc \
 	src/ifnew \
 	src/ifok \
-	src/mandir \
+	src/instool \
 	src/minutes \
 	src/mkdtemp \
 	src/mkstemp \
diff --git a/src/mandir b/src/instool
index 0b5060a..0b5060a 100755
--- a/src/mandir
+++ b/src/instool