|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
djbdoc2man
djbdoc2man | Convert DJB html documentation to man pages | Priority | |
Section | misc |
Installed size | 68 |
Maintainer | Klaus Reimer <kay@debian.org> |
Architecture | all |
Version | 1.1-2 |
Depends | python |
Suggests | abcde |
File name | pool/main/d/djbdoc2man/djbdoc2man_1.1-2_all.deb |
Description | This utility converts html documentation pages from D. J. Bernstein
(http://cr.yp.to/)
to
manual
pages.
Just
pipe
in
the
HTML
page
and
you'll get a manual page on stdout. |
|
|