dockerfile for doc building