Document: pica-manual
Title: PICA Manual
Author: Esteban Manchado Velázquez
Abstract: This manual describes what PICA is
 and how it can be used to administer your
 machines and keep them up-to-date and secure.
Section: admin

Format: postscript
Files: test/share-doc/pica/manual.ps.gz

Format: HTML
Index: test/share-doc/pica/manual.html/index.html
Files: test/share-doc/pica/manual.html/*.html
