+
+MESSAGE="
+
+Build the Makefiles with the configure command.
+ ./configure [--someoption=somevalue ...]
+
+For help on options or configuring run
+ ./configure --help
+
+Build and install binaries with the usual
+ make
+ make check
+ make install
+
+Build distribution tarball with
+ make dist
+
+Verify distribution tarball with
+ make distcheck
+
+Or just build the Debian packages without configuring
+ dpkg-buildpackage -rfakeroot
+
+When building from a CVS checkout, you need these Debian tools:
+ bison, docbook-utils, docbook, docbook-xml, docbook-dsssl, jade, jadetex,
+ libxml2-dev, libssl-dev, libreadline4-dev, libwrap0-dev, any tcl
+"