From 874a355f19a60624de0e371e665b1dfd7e6fe492 Mon Sep 17 00:00:00 2001
From: Zero~Informatique
Date: Sat, 2 May 2020 02:22:33 +0200
Subject: travis: renamed unwanted scripts to remove them from the release
 (added win_help)

Renamed the files in readme.md
---
 scripts/dev_win_help.cmd | 5 +++++
 scripts/readme.md        | 6 +++---
 scripts/win_help.cmd     | 5 -----
 3 files changed, 8 insertions(+), 8 deletions(-)
 create mode 100644 scripts/dev_win_help.cmd
 delete mode 100644 scripts/win_help.cmd

diff --git a/scripts/dev_win_help.cmd b/scripts/dev_win_help.cmd
new file mode 100644
index 0000000..f0bdb98
--- /dev/null
+++ b/scripts/dev_win_help.cmd
@@ -0,0 +1,5 @@
+@echo off
+cd ..\compiler\
+stack exec ldgallery -- --help
+@echo.
+@pause
diff --git a/scripts/readme.md b/scripts/readme.md
index 9bb97ec..a20d858 100644
--- a/scripts/readme.md
+++ b/scripts/readme.md
@@ -5,15 +5,15 @@ Prefix the filename of your custom script with "local_", they are git-ignored.
 
 ## Build
 
-### win_build.cmd
+### dev_win_build.cmd
 
 Build the compiler. See {../compiler/readme.md}
 
-### win_help.cmd
+### dev_win_help.cmd
 
 Shows the compiler's command line help.
 
-### win_compile_example.cmd
+### dev_win_compile_example.cmd
 
 Compile the example gallery, for demonstration purposes. See {../example/readme.md}
 
diff --git a/scripts/win_help.cmd b/scripts/win_help.cmd
deleted file mode 100644
index f0bdb98..0000000
--- a/scripts/win_help.cmd
+++ /dev/null
@@ -1,5 +0,0 @@
-@echo off
-cd ..\compiler\
-stack exec ldgallery -- --help
-@echo.
-@pause
-- 
cgit v1.2.3