From b09eb7c95e9cdc3fb1ebf9cea0f7a3506a3b29ea Mon Sep 17 00:00:00 2001
From: Wilson Lin <code@wilsonl.in>
Date: Fri, 19 Jun 2020 18:15:27 +1000
Subject: [PATCH] Allow ignored src/gen files when publishing

---
 version | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/version b/version
index 503e163..83a3339 100755
--- a/version
+++ b/version
@@ -102,5 +102,6 @@ cmd('cargo', 'generate-lockfile');
 cmd('git', 'add', '-A');
 cmd('git', 'commit', '-m', NEW_VERSION);
 cmd('git', 'tag', '-a', `v${NEW_VERSION}`, '-m', '');
-cmd('cargo', 'publish');
+// We have generated but ignored in `src/gen`.
+cmd('cargo', 'publish', '--allow-dirty');
 cmd('git', 'push', '--follow-tags');