View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0005477 | GNUnet | build process | public | 2018-11-11 21:24 | 2019-02-28 10:17 |
| Reporter | lurchi | Assigned To | nikita | Due Date | |
| Priority | normal | Severity | minor | Reproducibility | always |
| Status | closed | Resolution | fixed | ||
| OS | NixOS | ||||
| Product Version | Git master | ||||
| Target Version | 0.11.0 | Fixed in Version | 0.11.0 | ||
| Summary | 0005477: commit 62355a754 broke the --disable-documentation configure flag | ||||
| Description | Since commit 62355a754eb4f3e8aa9e9e514ae1bb0e28f51fcc when giving configure the --disable-documentation flag and texinfo is not installed, configure fails: checking for makeinfo... no configure: error: in `/build/gnunet-6dc4bac': configure: error: Missing program 'makeinfo', Documentation will not be built. Please install it if you want 'info' documentation or refer to online resources at 'https://docs.gnunet.org'. See `config.log' for more details If --disable-documentation is given, the existance of makeinfo should not be mandatory. This was the case before that commit. | ||||
| Steps To Reproduce | ./bootstrap ./configure --disable-documentation | ||||
| Tags | No tags attached. | ||||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2018-11-11 21:24 | lurchi | New Issue | |
| 2018-11-11 21:24 | lurchi | Status | new => assigned |
| 2018-11-11 21:24 | lurchi | Assigned To | => nikita |
| 2018-11-11 21:25 | lurchi | Description Updated | |
| 2018-11-11 21:29 | lurchi | Summary | commit c0ccb5ea4 broke the --disable-documentation configure flag => commit 62355a754 broke the --disable-documentation configure flag |
| 2018-11-11 21:29 | lurchi | Description Updated | |
| 2018-11-12 15:09 | nikita | Status | assigned => acknowledged |
| 2018-11-12 15:09 | nikita | Note Added: 0013331 | |
| 2018-11-14 16:32 | lurchi | Note Added: 0013338 | |
| 2018-11-14 16:32 | lurchi | Status | acknowledged => resolved |
| 2018-11-14 16:32 | lurchi | Resolution | open => fixed |
| 2018-11-14 16:32 | lurchi | Fixed in Version | => 0.11.0 |
| 2019-02-28 10:17 | Christian Grothoff | Status | resolved => closed |