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

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

rm -f DOC/$1.txt
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
  mv DOC/id$1.txt DOC/$1.txt
fi
