summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--deps.mk2
-rwxr-xr-xsrc/instool (renamed from src/mandir)0
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