gEDA: Checking out PCB documentation

[Karel Kulhavy]

Hello

How can I check out PCB documentation (the PDF and HTML manual)? I checked
out PCB source from CVS and there doesn't seem to be a possibility to check
out the doc anywhere. Just some small HTML's of the webpage.

Cl<