          MODULE=texinfo
            BASE=4.13
         VERSION=${BASE}a
          SOURCE=$MODULE-$VERSION.tar.gz
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE-$BASE
   SOURCE_URL[0]=$GNU_URL/$MODULE
   SOURCE_URL[1]=ftp://ftp.gnu.org/pub/gnu/$MODULE
      SOURCE_VFY=sha1:a1533cf8e03ea4fa6c443b73f4c85e4da04dead0
        WEB_SITE=http://www.gnu.org/software/texinfo
         ENTERED=20010922
         UPDATED=20080923
           PSAFE=no
           SHORT="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
