henry (11/30/82)
The device-independent troff distribution is in /usr/src/cmd/ditroff for the moment.