#!/bin/sh -f
if [ "$1" = "" -o "$2" = "" ] 
then
  echo ""
  echo "Usage is"
  echo "          lextract infile outfile [options]"
  echo ""
  echo "Extracts the manual comments from infile into outfile."
  exit
fi
infile=$1
outfile=$2
shift
shift
perl $LEDAROOT/AGD/Manual/cmd/ext.pl lextract $infile outfile=$outfile "$@"

