From 0a18fe245ad759b6a7b1f64d2cf2a775c081421c Mon Sep 17 00:00:00 2001
From: /dev/humancontroller <devhc@example.com>
Date: Mon, 6 Feb 2017 17:51:46 +0100
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 717e0d45..a6a89711 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /bld
 /GNUmakefile.local
+/dep/
diff --git a/GNUmakefile b/GNUmakefile
index 419efdb6..0a888d1c 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -134,6 +134,10 @@ ifndef MOUNT_DIR
 MOUNT_DIR=src
 endif
 
+ifndef DEP_DIR
+DEP_DIR=dep
+endif
+
 ifndef BUILD_DIR
 BUILD_DIR=bld
 endif
-- 
cgit