From ed33d13de57716c49080e286c45031abac2b4967 Mon Sep 17 00:00:00 2001
From: Artur Adib <arturadib@gmail.com>
Date: Fri, 4 Nov 2011 16:30:05 -0400
Subject: [PATCH] Fixes Makefile for web deployment

---
 Makefile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 3484ab414..35e8675c2 100644
--- a/Makefile
+++ b/Makefile
@@ -159,7 +159,7 @@ web: | production extension compiler pages-repo \
 # everything with data from the master repo. The 'make web' target
 # then uses 'git add -A' to track additions, modifications, moves,
 # and deletions.
-pages-repo: | $(BUILD_DIR)
+pages-repo: | $(BUILD_DIR) 
 	@if [ ! -d "$(GH_PAGES)" ]; then \
 	git clone -b gh-pages $(REPO) $(GH_PAGES); \
 	rm -rf $(GH_PAGES)/*; \
@@ -169,8 +169,9 @@ pages-repo: | $(BUILD_DIR)
 	@mkdir -p $(GH_PAGES)/build;
 	@mkdir -p $(GH_PAGES)/$(EXTENSION_SRC);
 
-$(GH_PAGES)/$(BUILD_DIR)/%.js: build/%.js
-	@cp $< $@
+$(GH_PAGES)/$(BUILD_DIR)/pdf.js: 
+	@mkdir -p $(GH_PAGES)/$(BUILD_DIR)
+	@cp build/pdf.js $(GH_PAGES)/$(BUILD_DIR)
 
 $(GH_PAGES)/web/%: web/%
 	@cp $< $@