fix "redex-doc" dependencies

(cherry picked from commit 0a9cf6dc34cd7c015822291da5a915f8b5b17364)
fix "redex-doc" dependencies

(cherry picked from commit d3950e1f0947cd55c59d945944e3ef481a1c3138)