From: Tim Mann <tim@tim-mann.org>
Date: Sat, 24 Oct 2009 16:41:39 +0000 (-0700)
Subject: Drop an obsolete script that was only used to update my personal web site
X-Git-Tag: v4.4.1~29^2
X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=commitdiff_plain;h=f012ac739cfbf2a19411d3130f8de88285faf245

Drop an obsolete script that was only used to update my personal web site
---

diff --git a/shiphtml b/shiphtml
deleted file mode 100644
index 6951bd5..0000000
--- a/shiphtml
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/bin/csh
-# Usage: shiphtml version
-# E.g., shiphtml 3.4.pl0
-# To be sure everything is in sync, do this right after making a distribution.
-#  Otherwise the documentation and/or FAQ might reflect work in progress.
-
-set v=$1
-set w=`echo $v | tr . _`
-set r=$HOME/tim-mann/httpdocs
-
-(cd linux ; make all more)
-#rm -f ${r}/xboard/*
-cp -f FAQ.html ../xboard.distrib/xboard-${v}.tar.gz linux/*.html zippy.README \
-    engine-intf.html ics-parsing.txt ChangeLog linux/xboard.ps \
-    ${r}/xboard/
-cp -f ../xboard.distrib/relmsg/${v} \
-    ${r}/xboard/xboard-${v}.README
-
-#rm -f ${r}/winboard/*
-cp -f ../xboard.distrib/winboard{-${w}.exe,-${w}-src.{zip,tar.gz}} ChangeLog \
-    ${r}/winboard/
-cp -f ../xboard.distrib/winboard-${w}/winboard.hlp \
-    ${r}/winboard/
-cp -f ../xboard.distrib/relmsg/${v} \
-    ${r}/winboard/winboard-${w}.README