View Issue Details

IDProjectCategoryView StatusLast Update
0005057Talerexchangepublic2017-06-06 12:18
ReporterMarcello Stanisci Assigned ToChristian Grothoff Resolution deadline
ImplementerReviewer 
Release signed byDeployed by 
VerifierCommunicator 
Data protection authority notification requiredNo  
CSIRT notification requiredNo  
Estimated effort (hours)Actual effort (hours)0 
Fast-trackNo
Work packagenone
PrioritynormalSeverityminorReproducibilityhave not tried
Status closedResolutionfixed 
Product Versiongit (master) 
Target Version0.3Fixed in Version0.3 
Summary0005057: need a --only-doc configuration option
DescriptionThis option should skip every test about libraries needed to compile the codebase,
and only generate the Makefile in doc/ directory.

NOTE that without such a option, the documentation builder is forced to compile all
dependencies (gnunet,libmhd,...) just to be able to run the configure script for building
the documentation.
TagsNo tags attached.

Required notifications

Address or linkRemarkAdded byNotifiedActions

Activities

Christian Grothoff

2017-06-04 09:34

manager   ~0012209

Fixed in 9f7e3bb..ad850ce

Issue History

Date ModifiedUsernameFieldChange
2017-06-02 13:42Marcello StanisciNew Issue
2017-06-02 13:42Marcello StanisciStatusnew => assigned
2017-06-02 13:42Marcello StanisciAssigned To => Christian Grothoff
2017-06-04 09:34Christian GrothoffStatusassigned => informing
2017-06-04 09:34Christian GrothoffResolutionopen => fixed
2017-06-04 09:34Christian GrothoffFixed in Version => 0.3
2017-06-04 09:34Christian GrothoffNote Added: 0012209
2017-06-04 09:34Christian GrothoffProduct Version => git (master)
2017-06-04 09:34Christian GrothoffTarget Version => 0.3
2017-06-06 12:18Christian GrothoffStatusinforming => closed