This repository was only used as long as Whonix wiki was still hosted on sourceforge.net.
Documentation backups are now hosted here: https://github.com/WhonixBOT/WhonixWikiBackups
git clone https://github.com/adrelanos/Whonix-documentation.git
Must be lower case "whonix".
./pull-wiki-v2.py whonix
Use pandoc 1.11.1 (its only in Debian testing and from its homepage) the older version (in Debian stable) has too much bugs.
./convert-to-mediawiki