Comments - PDF documentation going to be available anytime soon?
Content reproduced on this site is the property of its respective owners,
and this content is not reviewed in advance by MariaDB. The views, information and opinions
expressed by this content do not necessarily represent those of MariaDB or any other party.
You could use wget(1) to download the online documentation, then look at it via any web browser on any non-Internet-connected machine. You'd have to run a web server on that box, but that's not difficult.
There are also ways to serialize a website into a PDF file, but I don't have details. Google would be your friend here.
See feature request https://mariadb.atlassian.net/browse/MDEV-6881