I am concerned about a bug in the tex live package

I wrote this thread some time ago but could not get back to it for a while and it got buried so I will start it again.
The bug I am cocerned about is that there are man pages that are not man pages linked to the /usr/share/man/man1/ dir.
The location of the files in question is/usr/lib/texmf/doc/man/man1/
I am concerned that the files are pdf not man files.
I was asked what commands I used to access the man pages and they are as follows:
man a2ping (the man page)
sucess
man a2ping.pdf (the pdf page)
failure
Man pages are human readable right?
Please try to read the man page a2ping.pdf.man1.gz in the dir /usr/lib/texmf/doc/man/man1/.
Thanks!

Am 04.12.2012 21:16, schrieb ballsystemlord:
> Please try to read the man page a2ping.pdf.man1.gz in the dir
> /usr/lib/texmf/doc/man/man1/.
You don’t read the pdf.gz files with “man” but with a pdf reader which
supports gzipped pdf’s like okular. These files are just printer and eye
friendly versions of the man pages.


PC: oS 12.2 x86_64 | i7-2600@3.40GHz | 16GB | KDE 4.8.5 | GTX 650 Ti
ThinkPad E320: oS 12.2 x86_64 | i3@2.30GHz | 8GB | KDE 4.9.3 | HD 3000
eCAFE 800: oS 11.4 i586 | AMD Geode LX 800@500MHz | 512MB | lamp server

If you have KDE simply enter man: a2ping (for example) in Konqueror and you will be able to read the man page.

If you don’t have KDE. use the PDF version.

(The folder names man1 and man5 simply indicate that the former are intended for ordinary users and the latter for administrators.)

Am 04.12.2012 23:56, schrieb john hudson:
>
> If you have KDE simply enter man: a2ping (for example) in Konqueror and
> you will be able to read the man page.
>
> If you don’t have KDE. use the PDF version.
>
If you use gnome you can still use yelp for the same.


PC: oS 12.2 x86_64 | i7-2600@3.40GHz | 16GB | KDE 4.8.5 | GTX 650 Ti
ThinkPad E320: oS 12.2 x86_64 | i3@2.30GHz | 8GB | KDE 4.9.3 | HD 3000
eCAFE 800: oS 11.4 i586 | AMD Geode LX 800@500MHz | 512MB | lamp server

Ah! That explains why there are pdf files in with the man pages.
I just thought it strange when I noticed the pdf extention in a man page and decided to check it out.
This problem may be marked as solved. Thanks.