These are only roughly thematicly connected. 1) A fixup for the new --without-docs option 2) Add an option to disable building the ruby bindings.
Subject: updates for configure options
Date: Thu, 30 Jul 2015 08:19:19 +0200
Cc:
From: David Bremner
These are only roughly thematicly connected. 1) A fixup for the new --without-docs option 2) Add an option to disable building the ruby bindings.