View Issue Details

IDProjectCategoryView StatusLast Update
0007954GNUnetdocumentationpublic2023-10-13 23:15
Reporterthejackimonster Assigned Toschanzen  
Status resolvedResolutionwon't fix 
Product VersionGit master 
Target Version0.21.0 
Summary0007954: Bootstrap script fails if sphinx theme is missing
DescriptionCurrently it's required to have the python "sphinx_book_theme" installed to run `./bootstrap` which implies it's required to build GNUnet. I don't think that should be the case. Generating the documentation in certain style or theme is not that important to most developers, I assume.

So I think there should be an option to skip the part crashing the script if the theme is not installed or it shouldn't be part of that script in the first place. Afterall the theme should only be required to generate the documentation output.
Steps To Reproduce- Clone gnunet repository
- Run `./bootstrap`
Additional InformationThis is the output I got:

Removing folder 'libltdl'...
Synchronizing submodule url for 'contrib/gana'
Synchronizing submodule url for 'contrib/sphinx'
Updating GANA...
Updating GNS record types
Creating default TLDs
Updating GNUnet signatures
Updating DHT record types
Generating GNUnet error types
GANA finished
Updating handbook...
rm -rf _build

Theme error:
no theme named 'sphinx_book_theme' found (missing theme.conf?)
make: *** [Makefile:23: html] Error 2
TagsNo tags attached.



2023-10-13 07:53

administrator   ~0020571

This is indended.
./bootstrap is only done by developers. Developers must always ensure, that the documentation also builds.
(as it is unclear what potentially changed).
./bootstrap copies the compiled theme to doc/, which means that now ./configure does NOT require sphinx at all.
That was the goal.
So, for example, the sphinx theme is not a dependency to build the tarball now.

Issue History

Date Modified Username Field Change
2023-10-11 16:43 thejackimonster New Issue
2023-10-13 07:53 schanzen Assigned To => schanzen
2023-10-13 07:53 schanzen Status new => resolved
2023-10-13 07:53 schanzen Resolution open => won't fix
2023-10-13 07:53 schanzen Note Added: 0020571
2023-10-13 23:15 schanzen Target Version => 0.21.0