Package: funnelweb-doc
Version: 3.2d-4.1
Architecture: all
Maintainer: Yann Dirson <dirson@debian.org>
Installed-Size: 1500
Suggests: funnelweb
Section: doc
Priority: optional
Description: Documentation for funnelweb
 This package includes the HTML manuals for the funnelweb
 litterate-programming system.  These are the Tutorial Manual, the
 Reference Manual, and the Developer Manual.
