View Issue Details
ID | Project | Category | View Status | Date Submitted | Last Update |
---|---|---|---|---|---|
0005477 | GNUnet | build process | public | 2018-11-11 22:24 | 2019-02-28 11:17 |
Reporter | lurchi | Assigned To | nikita | ||
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 22:24 | lurchi | New Issue | |
2018-11-11 22:24 | lurchi | Status | new => assigned |
2018-11-11 22:24 | lurchi | Assigned To | => nikita |
2018-11-11 22:25 | lurchi | Description Updated | |
2018-11-11 22:29 | lurchi | Summary | commit c0ccb5ea4 broke the --disable-documentation configure flag => commit 62355a754 broke the --disable-documentation configure flag |
2018-11-11 22:29 | lurchi | Description Updated | |
2018-11-12 16:09 | nikita | Status | assigned => acknowledged |
2018-11-12 16:09 | nikita | Note Added: 0013331 | |
2018-11-14 17:32 | lurchi | Note Added: 0013338 | |
2018-11-14 17:32 | lurchi | Status | acknowledged => resolved |
2018-11-14 17:32 | lurchi | Resolution | open => fixed |
2018-11-14 17:32 | lurchi | Fixed in Version | => 0.11.0 |
2019-02-28 11:17 | Christian Grothoff | Status | resolved => closed |