Karma

• doc/gtk.git
• pear/peardoc/pt_BR
• phd.git
• phpdoc
• playground.git
• web/doc-editor.git
• web/doc.git