From c721b9bf6ed97a20a7dd3d9b8f9fc4c676bce9e8 Mon Sep 17 00:00:00 2001
From: David Majda <david@majda.cz>
Date: Thu, 29 Sep 2016 11:14:22 +0200
Subject: [PATCH] Omit PEG.js version from browser version file name

This makes upgrades easier for browser version users and it is in line
with most other JavaScript projects.
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 13d614e..9771559 100644
--- a/Makefile
+++ b/Makefile
@@ -21,8 +21,8 @@ PARSER_SRC_FILE     = $(SRC_DIR)/parser.pegjs
 PARSER_OUT_FILE     = $(LIB_DIR)/parser.js
 PARSER_OUT_FILE_NEW = $(LIB_DIR)/parser.js.new
 
-BROWSER_FILE_DEV = $(BROWSER_DIR)/peg-$(PEGJS_VERSION).js
-BROWSER_FILE_MIN = $(BROWSER_DIR)/peg-$(PEGJS_VERSION).min.js
+BROWSER_FILE_DEV = $(BROWSER_DIR)/peg.js
+BROWSER_FILE_MIN = $(BROWSER_DIR)/peg.min.js
 
 SPEC_SERVER_FILE      = $(SPEC_DIR)/server
 BENCHMARK_SERVER_FILE = $(BENCHMARK_DIR)/server