From bb34ba37b56d52925a21df81a40bc654a0fb271c Mon Sep 17 00:00:00 2001
From: Eeshan Garg <jerryguitarist@gmail.com>
Date: Tue, 26 Sep 2017 00:40:46 -0230
Subject: [PATCH] tools: Rename build_pygments_data.py -> build_pygments_data.

Dropping the file extension (.py) conforms to our naming
convention for such scripts.
---
 docs/dependencies.md                                        | 2 +-
 docs/dev-setup-non-vagrant.md                               | 2 +-
 tools/lib/provision.py                                      | 2 +-
 tools/setup/{build_pygments_data.py => build_pygments_data} | 0
 tools/update-prod-static                                    | 2 +-
 5 files changed, 4 insertions(+), 4 deletions(-)
 rename tools/setup/{build_pygments_data.py => build_pygments_data} (100%)

diff --git a/docs/dependencies.md b/docs/dependencies.md
index dbcc429e62..ae67810c70 100644
--- a/docs/dependencies.md
+++ b/docs/dependencies.md
@@ -268,7 +268,7 @@ implementation of that tool.
 ### Pygments data
 
 The list of languages supported by our markdown syntax highlighting
-comes from the [pygments][] package.  `tools/setup/build_pygments_data.py` is
+comes from the [pygments][] package.  `tools/setup/build_pygments_data` is
 responsible for generating `static/generated/pygments_data.js` so that
 our JavaScript markdown processor has access to the supported list.
 
diff --git a/docs/dev-setup-non-vagrant.md b/docs/dev-setup-non-vagrant.md
index 12d9919e4a..0afa0ac767 100644
--- a/docs/dev-setup-non-vagrant.md
+++ b/docs/dev-setup-non-vagrant.md
@@ -323,7 +323,7 @@ sudo mkdir /srv/zulip-emoji-cache
 sudo chown -R `whoami`:`whoami` /srv/zulip-emoji-cache
 ./tools/setup/emoji/build_emoji
 ./tools/inline-email-css
-./tools/setup/build_pygments_data.py
+./tools/setup/build_pygments_data
 ./tools/setup/generate_zulip_bots_static_files
 ./scripts/setup/generate_secrets.py --development
 if [ $(uname) = "OpenBSD" ]; then
diff --git a/tools/lib/provision.py b/tools/lib/provision.py
index b9586c3e47..a77374dfd3 100755
--- a/tools/lib/provision.py
+++ b/tools/lib/provision.py
@@ -280,7 +280,7 @@ def main(options):
     # copy over static files from the zulip_bots package
     run(["tools/setup/generate_zulip_bots_static_files"])
 
-    run(["tools/setup/build_pygments_data.py"])
+    run(["tools/setup/build_pygments_data"])
     run(["scripts/setup/generate_secrets.py", "--development"])
     run(["tools/update-authors-json", "--use-fixture"])
     run(["tools/inline-email-css"])
diff --git a/tools/setup/build_pygments_data.py b/tools/setup/build_pygments_data
similarity index 100%
rename from tools/setup/build_pygments_data.py
rename to tools/setup/build_pygments_data
diff --git a/tools/update-prod-static b/tools/update-prod-static
index 2c686be308..7dd348d83b 100755
--- a/tools/update-prod-static
+++ b/tools/update-prod-static
@@ -50,7 +50,7 @@ subprocess.check_call(['./tools/setup/generate_zulip_bots_static_files'],
                       stdout=fp, stderr=fp)
 
 # Build pygment data
-subprocess.check_call(['./tools/setup/build_pygments_data.py'],
+subprocess.check_call(['./tools/setup/build_pygments_data'],
                       stdout=fp, stderr=fp)
 
 # Compile Handlebars templates and minify JavaScript.