Please turn it on in your browser preferences.
for specific sites, we recommend the
Review Request #128107 -
Created June 5, 2016 and submitted
June 5, 2016, 5:55 p.m.
add docbook manpage
remove current man page, outdated and untranslatable
builds + installs man page
Submitted with commit 16f3dea35cab0050d02f3f401b70a6843f36e122 by Burkhard Lück to branch master.