View Issue Details

IDProjectCategoryView StatusLast Update
0005249GNUnetbuild processpublic2018-06-06 22:24
Reporternikita Assigned Tonikita Due Date
PrioritynormalSeverityminorReproducibilityhave not tried
Status closedResolutionfixed 
Product VersionGit master 
Target Version0.11.0pre66Fixed in Version0.11.0pre66 
Summary0005249: disabling build of documentation is not possible
Descriptionamz3 on IRC reported that --disable-documentation does not work as it should.
As texlive is not packaged everywhere as small packages (and we still have not identified which parts are required in GNUnet), this adds a 2GB(!) burden before building GNUnet (My download connection is really slow, so for me 2GB are hours).

We should default to "enable documentation" but leave the choice to disable this.

This should be rather straight-forward. I'll work on this next week. Just a heads-up before anyone else reports it.
TagsNo tags attached.

Relationships

child of 0005141 closednikita documentation meta-issue 

Activities

nikita

2018-01-21 12:52

reporter   ~0012815

As far as I can tell this is solved with a recent commit I made.

Issue History

Date ModifiedUsernameFieldChange
2018-01-07 19:15nikitaNew Issue
2018-01-07 19:15nikitaStatusnew => assigned
2018-01-07 19:15nikitaAssigned To => nikita
2018-01-07 19:17nikitaRelationship addedchild of 0005141
2018-01-21 12:52nikitaStatusassigned => resolved
2018-01-21 12:52nikitaResolutionopen => fixed
2018-01-21 12:52nikitaFixed in Version => Git master
2018-01-21 12:52nikitaNote Added: 0012815
2018-06-05 20:26Christian GrothoffProduct Version => Git master
2018-06-05 20:26Christian GrothoffFixed in VersionGit master => 0.11.0pre66
2018-06-05 20:26Christian GrothoffTarget Version => 0.11.0pre66
2018-06-06 22:24Christian GrothoffStatusresolved => closed