From 915ebf9f3001da3b818d358937955e32719e2251 Mon Sep 17 00:00:00 2001
From: Nicolas Dudebout <nicolas.dudebout@gatech.edu>
Date: Wed, 2 Jan 2013 06:13:46 -0500
Subject: [PATCH] Allows the user to set different source and destination in
 Makefile.

A user can use the following command to determine where to copy the resulting css file:

    $ BOOTSTRAP=<my-path> make
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 743e0d7f51..f13150b037 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
-BOOTSTRAP = ./docs/assets/css/bootstrap.css
-BOOTSTRAP_LESS = ./less/bootstrap.less
+BOOTSTRAP ?= ./docs/assets/css/bootstrap.css
+BOOTSTRAP_LESS ?= ./less/bootstrap.less
 DATE=$(shell date +%I:%M%p)
 CHECK=\033[32m✔\033[39m
 HR=\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#\#