#!/bin/sh

PATH=$LEDAROOT/AGD/Manual/cmd:$PATH
export PATH

if [ "$1" = "" ]; then
  source=$LEDAROOT/incl/AGD
  ext=h
else
  source=$1
  if [ "$2" = "" ]; then
    ext=h
  else
    ext=$2
  fi
fi

rm -r -f extract

mkdir extract

echo Extracting manual pages ...
echo " "

for f in $source/*.$ext; do
   echo $f
   $LEDAROOT/AGD/Manual/cmd/lextract $f  extract/`basename $f .$ext`.tex \
   informational=no indexing=yes includefile=yes warnings=no
done

