On Sat, Jul 16, 2005 at 02:36:33PM -0400, Thomas E. Dickey wrote: > >Similar to the renamed ones, you mean? > > yes - though that's just at a first glance. Since they're "all" renamed, > I assume there are several scripts used in Debian's packages for doing the > renaming.
I have no idea. There's not all that many things that provide their own man page section. Most of them don't rename pages within the section, just change the section - I just checked TCL for instance. It doesn't fix up the man pages at all, just the filenames. -- Daniel Jacobowitz CodeSourcery, LLC -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]