From 5bb345b95517781a1d140e4d7cb760961f6b5c03 Mon Sep 17 00:00:00 2001
From: Abhinav Sagar <40603139+abhinavsagar@users.noreply.github.com>
Date: Thu, 28 Mar 2019 11:06:32 +0530
Subject: [PATCH] Update deployment.md

---
 developer_docs/deployment.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/developer_docs/deployment.md b/developer_docs/deployment.md
index 37d85dc5..55369d9b 100644
--- a/developer_docs/deployment.md
+++ b/developer_docs/deployment.md
@@ -29,6 +29,8 @@ These are the steps that happen when you deploy the application.
 
 You'll only need to do this if you're testing the production environment locally.
 
+Note: The installation steps assume you are using a Unix-like shell. If you are using Windows, you will need to use `copy` in place of `cp`.
+
 1. Clone this repository and `cd` into it
 2. `$ npm install`
 3. Install MongoDB and make sure it is running
@@ -39,8 +41,6 @@ You'll only need to do this if you're testing the production environment locally
 8. Since production assumes your environment variables are in the shell environment, and not in a `.env` file, you will have to run `export $(grep -v '^#' .env | xargs)` or a similar command, see this [Stack Overflow answer](https://stackoverflow.com/a/20909045/4086967).
 9. `$ npm run start:prod`
 
-NOTE- Windows users should use `copy` instead of `cp` during installation.
-
 ## Self Hosting - Heroku Deployment
 
 If you are interested in hosting and deploying your own p5.js Web Editor instance, you can! It would be the same as the official editor instance at editor.p5js.org, except with a different domain, and you would be in charge of the maintenance. We recommend using Heroku as you can host it for free.