           SPELL=texinfo
         VERSION=4.8
          SOURCE=$SPELL-$VERSION.tar.gz
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION
   SOURCE_URL[0]=$GNU_URL/$SPELL/$SOURCE
   SOURCE_URL[2]=ftp://ftp.gnu.org/pub/gnu/$SPELL/$SOURCE
          MD5[0]=19187321776e9c0c76af711fddd441da
        WEB_SITE=http://www.gnu.org/software/texinfo
         ENTERED=20010922
         UPDATED=20051031
      LICENSE[0]=GPL
      MAINTAINER=richard.brauer@physik.rwth-aachen.de
           SHORT="texinfo contain utilities to work with and produce manuals."
cat << EOF
texinfo - Utilities to work with and produce manuals, 
ASCII text, and on-line documentation from a single 
source file.

Texinfo is a documentation system that uses a single 
source file to produce both online information and 
printed output. Instead of writing different documents 
for online presentation and another for printed work, 
you need have only one document.

Texinfo can produce output in plain ASCII, HTML, its 
own hypertext format called Info, and (using TeX) DVI 
format.
EOF
