run vanishes

henry (09/10/82)

/usr/doc/run has gone away, having been superseded by doc(1).