Compiling GNUnet and documentation

[xrs]

Hi,

suppose I want to build GNUnet from source and leave out the building
of the documentation. 

The README states that using "--disable-documentation" for
configure works for this. 

On the other hand the bootstrap.sh needs sphinx to create the configure
file which needs to be executed before. This seems inconsistent to me.

I tried to uncomment sphinx_update in the main function of
bootstrap.sh and passed the option above to configure. But then I get an
error later in configure that gnunet.tex is missing. 

Any good idea how to solve this?

Best,
xrs

--

 +---------------------------------------------------------+
 |      Let's encrypt mail for safer communication!        |
 +---------------------------------------------------------+
 |                                                         |
 |  Here is my public key:                                 |
 |  https://keys.openpgp.org/search?q=F925E518CD0DEF8A     |
 |                                                         |
 |                      To be sure you are talking to      |
 |                      me and not some strange Internet   |
 |                      actor in the middle ask me for     | 
 |                      this fingerprint:                  |
 |                                                         |
 |                      5D3F 2470 7F3B C77A D1B9           |
 |                      EA9A F925 E518 CD0D EF8A           |
 |                                                         |
 +---------------------------------------------------------+

pgp2HHSoDF33o.pgp
Description: OpenPGP digital signature