Accept multiple source files for docgen

Kinda hacked in for now, but as we keep saying, docgen needs work anyway...