> Ah, so the way to get around this would be to crawl
> the entire site?
Yes - that's the only way crawlers collect links

> Then HTTrack should grab the files
> as they are linked from their pages, right?
Yep :)