           SPELL=texinfo
         VERSION=4.9
          SOURCE=$SPELL-$VERSION.tar.gz
         SOURCE2=$SOURCE.sig
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION
   SOURCE_URL[0]=$GNU_URL/$SPELL/$SOURCE
  SOURCE2_URL[0]=${SOURCE_URL[0]}.sig
   SOURCE_URL[2]=ftp://ftp.gnu.org/pub/gnu/$SPELL/$SOURCE
      SOURCE_GPG=gnu.gpg:$SOURCE2:UPSTREAM_KEY
  SOURCE2_IGNORE=signature
        WEB_SITE=http://www.gnu.org/software/texinfo
         ENTERED=20010922
      LICENSE[0]=GPL
  SECURITY_PATCH=1
        KEYWORDS="doc"
           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
