From 757ed92e87f09b388ab18b94e3c3d2dd502bc02d Mon Sep 17 00:00:00 2001
From: Volker Grabsch <vog@notjusthosting.com>
Date: Mon, 16 Apr 2012 14:48:03 +0200
Subject: Remove entries for the "dist/" directory which is no longer used

---
 .gitignore | 1 -
 Makefile   | 1 -
 2 files changed, 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 707102d..971b901 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,4 @@
 usr/
 log/
 pkg
-dist/
 wip/
diff --git a/Makefile b/Makefile
index 06767f0..46db92c 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,6 @@ PREFIX     := $(PWD)/usr
 LOG_DIR    := $(PWD)/log
 TIMESTAMP  := $(shell date +%Y%m%d_%H%M%S)
 PKG_DIR    := $(PWD)/pkg
-DIST_DIR   := $(PWD)/dist
 TMP_DIR     = $(PWD)/tmp-$(1)
 MAKEFILE   := $(word $(words $(MAKEFILE_LIST)),$(MAKEFILE_LIST))
 TOP_DIR    := $(patsubst %/,%,$(dir $(MAKEFILE)))
-- 
cgit v0.12