change file names

[Jason Stephenson]

Ben Scott wrote:
> On 2/21/06, Jon maddog Hall <maddog at li.org> wrote:
> 
>>This is why I really miss the printed man pages.
> 
> 
>   Well, you can always do something like this:
> 
> cd /usr/shared/man/man1
> for i in *.1 *.gz ; do j="$(basename $i .gz)" ; j="$(basename $j .1)"
> ; man -t "$j" | lpr ; done

If you have a postscript printer, then:

gzip -dc $j | groff -m mandoc -Tps | lpr

will get you prettier output. It's pretty easy to convert them to PDF, too.

I second the recommendation of not printing them all, though. I've never 
checked how many pages it would be, but I'm sure it would be a lot! ;)

Cheers,
Jason