           SPELL=texinfo
         VERSION=4.13a
          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.sig
      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="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
