From 521fd381383498a66151397820ffd2775d01cb0c Mon Sep 17 00:00:00 2001
From: Tom Ryder <tom@sanctum.geek.nz>
Date: Wed, 18 Jul 2018 13:48:30 +1200
Subject: Remove dist/vim-plugin.sh

No longer needed.
---
 dist/vim-plugin.sh | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 dist/vim-plugin.sh

(limited to 'dist')

diff --git a/dist/vim-plugin.sh b/dist/vim-plugin.sh
deleted file mode 100644
index 0f549be4..00000000
--- a/dist/vim-plugin.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/sh
-ver=$(awk -Fv 'NR<2&&$0=$NF' VERSION) || exit
-mkdir -p -- vim/dist || exit
-cd -- vim/dist || exit
-for pn ; do
-    dn=vim-$(printf '%s' "$pn"|sed 's/_/-/g')-$ver
-    mkdir -p -- "$pn"
-    for fn in ../*/"$pn".txt ../*/"$pn".vim ; do
-        [ -e "$fn" ] || continue
-        sdn=$fn
-        sdn=${sdn#../}
-        sdn=${sdn%/*}
-        mkdir -p -- "$pn"/"$sdn"
-        cp -- "$fn" "$pn"/"$sdn"
-    done
-    tar c "$pn" | gzip > "$dn".tar.gz || exit
-    rm -r -- "$pn"
-done
-- 
cgit v1.2.3