> We have an unlucky usage for writing man-page names as `*.man' > without mentioning the man-page section. That makes most man-page > sources in groff unreasonable > > I propose to use change this naming scheme `*.man' into > `*.<number>n' and `*.n' into `*.<number>'.
I like that suggestion. Please file an issue in the bug tracker so that it is not lost. Werner