X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=doc%2Findexdata.sh;fp=doc%2Findexdata.sh;h=0000000000000000000000000000000000000000;hb=d79fc07b26da0378e2c036911fe1491fc3500a09;hp=6c28bdc7dcd5d0795a98a24efdf2789f172479e2;hpb=cf8a38eb0fc8063fbebbf3b3a0e37b900b8d6d38;p=yaz-moved-to-github.git diff --git a/doc/indexdata.sh b/doc/indexdata.sh deleted file mode 100755 index 6c28bdc..0000000 --- a/doc/indexdata.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh -# $Id: indexdata.sh,v 1.3 2000-03-29 15:23:55 adam Exp $ -# Script to convert documentation to indexdata.dk style... -package=$1 -for i in ${package}*.html; do - j=`basename $i html`php - awk -v PACKAGE=\"${package}\" 'BEGIN { body = 0 } /<\/BODY/ { body = 0; print "" } { if (body == 1) print $0} // { body = 1; print ""; }' < $i | sed "-es/$HREF=\"${package}.*$\.html/\1.php/g" >$j -done