Thanks to @ankita240796's great work. We now automatically generate a PDF of the docs. You can find the link at the bottom of every page of the docs.
Try it out today and if you have problems with the PDF, please file an issue at https://github.com/opendatakit/docs/issues