           MODULE=texinfo
         VERSION=4.2
          SOURCE=$MODULE-$VERSION.tar.gz
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE-$VERSION
   SOURCE_URL[0]=$GNU_URL/$MODULE/$SOURCE
   SOURCE_URL[1]=ftp://ftp.gnu.org/pub/gnu/$MODULE/$SOURCE
        WEB_SITE=http://www.gnu.org/software/texinfo
         ENTERED=20010922
         UPDATED=20020519
	   PSAFE=no
           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
