From 45cf95aa22b2202b53bc291fa22caba24adeebd4 Mon Sep 17 00:00:00 2001
From: legonzaur <legonzaur@live.fr>
Date: Thu, 1 Jun 2023 10:59:52 +0200
Subject: [PATCH] remove dist directory after publish

---
 publish.cmd | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/publish.cmd b/publish.cmd
index 4c2ce1c..6839ed7 100644
--- a/publish.cmd
+++ b/publish.cmd
@@ -1,4 +1,6 @@
 call npm run build
 call git add dist -f
 call git commit -m 'publish'
-call git subtree push --prefix dist origin gh-pages
\ No newline at end of file
+call git subtree push --prefix dist origin gh-pages
+call git reset HEAD~1
+call git rm dist -r
\ No newline at end of file