Home
Linux temps réel embarqué et outils de développements Technique





djbdoc2man

djbdoc2man Convert DJB html documentation to man pages
Priority
Sectionmisc
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.


©M.N.I.S Société | Produits | Services | Formations | Support | Partenariat | Presse | Téléchargements ©M.N.I.S