From f012ac739cfbf2a19411d3130f8de88285faf245 Mon Sep 17 00:00:00 2001
From: Tim Mann <tim@tim-mann.org>
Date: Sat, 24 Oct 2009 09:41:39 -0700
Subject: [PATCH] Drop an obsolete script that was only used to update my personal web site

---
 shiphtml |   25 -------------------------
 1 files changed, 0 insertions(+), 25 deletions(-)
 delete mode 100644 shiphtml

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
-- 
1.7.0.4