[plt-scheme] MrLib manual installation error

From: Carl Eastlund (carl.eastlund at gmail.com)
Date: Sun Feb 20 20:33:04 EST 2005

I get the following output when trying to use Help Desk's CVS update
feature on the MrLib manual.  Can anyone else verify (and/or fix) this


Downloading PLT MrLib: Graphical Libraries Manual...
Installing new version of PLT MrLib: Graphical Libraries Manual...
setup-plt: Setup version is 299.32
setup-plt: PLT home directory is /Users/cce/Tinker/plt-299
setup-plt: Collection paths are 
setup-plt:   /home/cce/.pltcollects
setup-plt:   /Users/cce/Library/PLT Scheme/299.32/collects
setup-plt:   /Users/cce/Tinker/plt-299/collects
gnu-unzip: bad header
not an unpackable distribution archive
Clearing cached indices

Posted on the users mailing list.