[coreboot-gerrit] [S] Change in coreboot[main]: docker/doc.coreboot.org: Install pip modules into virtual env

[Martin L Roth (Code Review)]

Attention is currently required from: Felix Singer, Nicholas Chin.

Martin L Roth has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/80311?usp=email )

Change subject: docker/doc.coreboot.org: Install pip modules into virtual env
......................................................................

Patch Set 6: Code-Review+1

(1 comment)

Patchset:

PS6: 
The CI doesn't verify this, so I'm assuming it's been verified manually.

I question putting the venv at / instead of in a user folder under home, but that's minor.

does the venv actually get added to the path environment? do you still need to activate the venv?