Hi Martin,
On Fri, 20 Jan 2023 20:43:42 +0900
Martin Schanzenbach wrote:
> > Any good idea how to solve this?
> >
>
> Well. We may want to think about a method to cook up a build for devs
> building from git without requiring sphinx. But tbh, documentation is
> part of what a developer shou
Hi,
xrs writes:
> 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.
>
well. There have always been two ways of building "from source" that had
differ
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. T
