Fri, 27 Oct 2017 12:33:30 +0200Added missing configure options to documentation. stable-1.5
Florian Pose <fp@igh.de> [Fri, 27 Oct 2017 12:33:30 +0200] rev 2691
Added missing configure options to documentation.