Subject: Re: Manual page glitch in current sources.
To: None <jfw@jfwhome.funhouse.com>
From: Charles M. Hannum <mycroft@gnu.ai.mit.edu>
List: current-users
Date: 12/29/1994 08:03:51
   Man pages that are links to other man pages are linked by "make install"
   before the updated manual page is installed.  If one clears out all the
   old manual pages, this stops the installation process cold.

I already fixed this (as well as another bug that caused port-specific
man pages to be installed in the wrong directory).