1#!/bin/sh
2# a hack by agl (15 January 2002)
3# $1 is the directory in which the documentation will be installed
4#
5
6echo "Begin install dokumentation"
7
8mkdir -p $1
9for dfile in `cat docfiles.txt` ; do
10   echo "install doc file $dfile"
11   install -c -m 644 $dfile $1
12done
13
14echo "End install dokumentation"
15