add doc files

3 jobs for doc in 6 minutes and 15 seconds (queued for 2 seconds)