From 15e2bedb373e79dda9b28d154287b92134820e7e Mon Sep 17 00:00:00 2001
From: Francisco Ryan Tolmasky I <tolmasky@gmail.com>
Date: Fri, 21 Jul 2017 09:15:54 -0700
Subject: [PATCH] Change file.

Reviewed by @tolmasky.
---
 Makefile                     | 2 +-
 options.js => pug-options.js | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename options.js => pug-options.js (100%)

diff --git a/Makefile b/Makefile
index 3344ad7..7601143 100644
--- a/Makefile
+++ b/Makefile
@@ -8,7 +8,7 @@ DOCS = public/index.md \
   public/guide.md
 
 index.html: views/index.jade $(DOCS)
-	@./node_modules/.bin/pug --obj options.js $< -o .
+	@./node_modules/.bin/pug --obj pug-options.js $< -o .
 
 public/index.md:
 	curl -s $(RAW)/koajs/koa/master/docs/api/index.md \
diff --git a/options.js b/pug-options.js
similarity index 100%
rename from options.js
rename to pug-options.js