unbreak redex pdf docs build

please include in the release