View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0007117 | Anastasis | backend | public | 2021-12-01 08:27 | 2023-06-15 15:54 |
| Reporter | ms-mantis | Assigned To | Christian Grothoff | Due Date | |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Status | closed | Resolution | fixed | ||
| Product Version | 0.2.0 | ||||
| Target Version | 0.3.0 | Fixed in Version | 0.3.0 | ||
| Summary | 0007117: --disable-doc configure option ignored | ||||
| Description | Despite having passed the "--disable-doc" option to the configure script, the compilation fails if 'makeinfo' is not found. | ||||
| Tags | No tags attached. | ||||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2021-12-01 08:27 | ms-mantis | New Issue | |
| 2021-12-26 13:05 | Christian Grothoff | Assigned To | => Christian Grothoff |
| 2021-12-26 13:05 | Christian Grothoff | Status | new => assigned |
| 2021-12-27 19:10 | Christian Grothoff | Status | assigned => resolved |
| 2021-12-27 19:10 | Christian Grothoff | Resolution | open => fixed |
| 2021-12-27 19:10 | Christian Grothoff | Fixed in Version | => 0.3.0 |
| 2021-12-27 19:10 | Christian Grothoff | Note Added: 0018594 | |
| 2021-12-27 19:10 | Christian Grothoff | Product Version | => 0.2.0 |
| 2021-12-27 19:10 | Christian Grothoff | Target Version | => 0.3.0 |
| 2022-09-26 18:50 | Christian Grothoff | Status | resolved => closed |
| 2023-06-15 15:54 | Christian Grothoff | ||
| 2023-06-15 15:54 | Christian Grothoff | Note Added: 0020280 |