File: control

package info (click to toggle)
djbdoc2man 1.1-4
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 96 kB
  • ctags: 8
  • sloc: python: 152; makefile: 84
file content (15 lines) | stat: -rw-r--r-- 479 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
Source: djbdoc2man
Section: misc
Priority: optional
Maintainer: Klaus Reimer <kay@debian.org>
Build-Depends: debhelper (>> 7.0.0)
Build-Depends-Indep: python, help2man
Standards-Version: 3.8.2

Package: djbdoc2man
Architecture: all
Depends: python
Description: Convert DJB html documentation to man pages
 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.