patch: disable docs in libgpg-error build

[Hans-Christoph Steiner]

Werner Koch:
> On Sun, 14 Dec 2014 11:24, hans at guardianproject.info said:
> 
>> The build process for Android is already quite complicated, so removing the
>> documentation from the build process is quite helpful in keeping things
>> manageable.  Plus, there is currently some error in building the docs in the
>> GnuPG-for-Android build.  The documentation is not included in the Android app
> 
> Yep, I noticed the failures from the build robot.  Indeed, being able
> to disable the documentation build makes sense.  Actually we already have
> this for GnuPG and it should go into all packages.  I just pushed the
> change for libgpg-error and will do that for all other packages too.
> 
> To be compatible with gnupg the option is named --disable-doc, though.
> 
> 
> Shalom-Salam,
> 
>    Werner

Sounds good to me, thanks for the quick review.

.hc


-- 
PGP fingerprint: 5E61 C878 0F86 295C E17D  8677 9F0F E587 374B BE81
https://pgp.mit.edu/pks/lookup?op=vindex&search=0x9F0FE587374BBE81