From c0026b7b93ed9d3e8a09153bd4e0a1928459227f Mon Sep 17 00:00:00 2001
From: Joseph Wright <joseph.wright@morningstar2.co.uk>
Date: Tue, 23 Jul 2019 16:04:39 +0100
Subject: [PATCH] Set up so dev releases have info in file names

---
 build-config.lua | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build-config.lua b/build-config.lua
index b2f51f007..7797cd8f3 100644
--- a/build-config.lua
+++ b/build-config.lua
@@ -55,6 +55,8 @@ else
   if not string.match(branch, "%s*master%s*") then
     master_branch = false
     tdsroot = tdsroot or "latex-dev"
+    ctanpkg = ctanpkg .. "-dev"
+    ctanzip = ctanpkg
   end
 end