changeset 2411:8ccc3595c4de

Remove entries for the "dist/" directory which is no longer used
author Volker Grabsch <vog@notjusthosting.com>
date Mon, 16 Apr 2012 14:48:03 +0200
parents 25844252c1c0
children 88cb2ceccacb
files .gitignore Makefile
diffstat 2 files changed, 0 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/.gitignore	Sun Apr 15 19:10:54 2012 +1000
+++ b/.gitignore	Mon Apr 16 14:48:03 2012 +0200
@@ -1,5 +1,4 @@
 usr/
 log/
 pkg
-dist/
 wip/
--- a/Makefile	Sun Apr 15 19:10:54 2012 +1000
+++ b/Makefile	Mon Apr 16 14:48:03 2012 +0200
@@ -23,7 +23,6 @@
 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)))