Document: mini-buildd
Title: mini-buildd Manual
Section: Debian

Format: HTML
Index: /usr/share/doc/mini-buildd/html/index.html
Files: /usr/share/doc/mini-buildd/html/*.html
