gpsim-doc for Debian -------------------- This package provides docs and adds docs to menu system -- Stephen M Moraco , Mon, 28 Jan 2002 16:35:30 -0700