Github user spmallette commented on the issue:
https://github.com/apache/tinkerpop/pull/766
wow - thanks to @robertdale with
https://github.com/apache/tinkerpop/commit/34f924e50db3a20a3ba538c4e16bbfcfa9e7b873
because i can finally generate these docs with docker. i guess the question
now is whether we rush to immediately look to merge this or push off until next
release. i kinda feel like we should do the latter and not be hasty. I'd like
some time to put in some other code in certain places and play around with it a
bit before we get this on to a release branch and i don't know that i will have
time for such things between now and first week of april when 3.2.8/3.3.2 are
going out the door. any thoughts to the contrary?
---
