blob: 748f5621217996f5c63811c507d0cd76b2ea81f8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
Document: ptxdist
Title: Debian ptxdist Manual
Author: <insert document author here>
Abstract: This manual describes what ptxdist is
and how it can be used to
manage online manuals on Debian systems.
Section: unknown
Format: debiandoc-sgml
Files: /usr/share/doc/ptxdist/ptxdist.sgml.gz
Format: postscript
Files: /usr/share/doc/ptxdist/ptxdist.ps.gz
Format: text
Files: /usr/share/doc/ptxdist/ptxdist.text.gz
Format: HTML
Index: /usr/share/doc/ptxdist/html/index.html
Files: /usr/share/doc/ptxdist/html/*.html
|