#!/bin/sh
################################
#
# usage: doc_concat $1 - ID
#
################################

MYNAME=`basename $0`
MYDIR=`echo $0 | sed -e s%$MYNAME\$%%`
INFO=$MYDIR"doc.info"
VERSIE=1.52
d=$1

FILES=`ls doc/$1* | sort`
if [ ! "$FILES" = "" ]; then
  cat $FILES | grep -v ^\-info\- >doc/id$1.1
  cat $INFO | sed -e s/SOURCE/$d/g -e s/VERSIE/$VERSIE/g >./doc/id$1.txt
  cat doc/id$1.1 >>doc/id$1.txt
  rm -f $FILES doc/id$1.1
fi
