Where's that theme manual?

I’m new to WPMU-dev, and I have pretty minimal understanding of CSS, WordPress, etc. So I’m sure I’ll have additional questions.

For now, however, I’ve just installed Business Portfolio to check it out on a site. But I can’t find the PDF manual for it anywhere. Could anyone tell me where that is?