From 9def5a580fcecbf60739455ec93f13e631bf7bad Mon Sep 17 00:00:00 2001
From: /dev/humancontroller <devhc@example.com>
Date: Sat, 15 Apr 2017 17:16:44 +0200
Subject: reserve (by default) the "dep" directory for the repository of
 dependencies (system libraries)

---
 .gitignore  | 1 +
 GNUmakefile | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/.gitignore b/.gitignore
index 569901d..b8a7129 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /GNUmakefile.local
 /bld/
+/dep/
diff --git a/GNUmakefile b/GNUmakefile
index b8884d6..90d2b0b 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -140,6 +140,10 @@ ifndef MOUNT_DIR
 MOUNT_DIR=src
 endif
 
+ifndef DEP_DIR
+DEP_DIR=dep
+endif
+
 ifndef BUILD_DIR
 BUILD_DIR=bld
 endif
-- 
cgit