Document: astmanproxy Title: Debian astmanproxy Manual Author: Abstract: This manual describes what astmanproxy is and how it can be used to manage online manuals on Debian systems. Section: unknown Format: debiandoc-sgml Files: /usr/share/doc/astmanproxy/astmanproxy.sgml.gz Format: postscript Files: /usr/share/doc/astmanproxy/astmanproxy.ps.gz Format: text Files: /usr/share/doc/astmanproxy/astmanproxy.text.gz Format: HTML Index: /usr/share/doc/astmanproxy/html/index.html Files: /usr/share/doc/astmanproxy/html/*.html