Mediawiki2latex
Introduction
Mediwiki2latex or wb2pdf is a tool, created by Dirk Huenniger that allows exporting Mediawiki pages and article collections to Latex, PDF, Epub and ODF.
It can be used to (1) Create print documents on demand and (2) export for book projects that start from wiki pages as draft documents.
Installation
See the official links below first. Below we just wrote down what did work on Feb 2019 for Ubuntu 18x LTS.
(1) Install the (old) default version, which will also install lots of run time dependencies (compatible with your current Ubuntu system).
sudo apt-get install mediawiki2latex
(2) Then install the build time dependencies (as root) as explained in Benutzer:Dirk_Hünniger/wb2pdf/install, i.e. about 10 different packages
sudo apt-get install ghc libghc-x509-dev libghc-pem-dev sudo apt-get install libghc-regex-compat-dev libghc-http-dev cabal-install libghc-hxt-dev sudo apt-get install libghc-split-dev libghc-blaze-html-dev libghc-file-embed-dev sudo apt-get install libghc-highlighting-kate-dev libghc-hxt-http-dev libghc-regex-pcre-dev sudo apt-get install libghc-temporary-dev libghc-url-dev libghc-utf8-string-dev sudo apt-get install libghc-utility-ht-dev libghc-http-conduit-dev libghc-happstack-server-dev sudo apt-get install libghc-directory-tree-dev libghc-zip-archive-dev libghc-strict-dev sudo apt-get install libghc-network-uri-dev sudo apt-get install ghostscript calibre latex2rtf libreoffice
(3) Then install the new version
git clone https://git.code.sf.net/p/wb2pdf/git wb2pdf-git cd wb2pdf-git make sudo make install