#!/bin/sh

if [ ! -d HOWTO ]; then
  echo "Kopieren Sie die HOWTOs ins Unverzeichnis HOWTO und die"
  echo "mini-HOWTO nach HOWTO/mini."
  exit
fi

echo "-------- HOWTO -----------"
cd HOWTO
rm DE-GPL.html
../create_HOWTO
ln -s ../DE-GPL.html .

echo "----- mini-HOWTO ---------"
cd mini
rm DE-GPL.html
../../create_mini_HOWTO
ln -s ../../DE-GPL.html .

.