Commit 10b2838b6a16004930ae54f9fa2186baf9f3a05a

Tom Tromey 1995-11-13T22:01:35

(uninstall-man): Another bug fix.