Commit 6604594eb71be7410bb6ad6ea212c6589be116be

Tom Tromey 1995-11-13T21:59:38

(uninstall-man): Bug fix.