View Issue Details
ID | Project | Category | View Status | Date Submitted | Last Update |
---|---|---|---|---|---|
0007117 | Anastasis | backend | public | 2021-12-01 09:27 | 2023-06-15 17:54 |
Reporter | ms-mantis | Assigned To | Christian Grothoff | ||
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 09:27 | ms-mantis | New Issue | |
2021-12-26 14:05 | Christian Grothoff | Assigned To | => Christian Grothoff |
2021-12-26 14:05 | Christian Grothoff | Status | new => assigned |
2021-12-27 20:10 | Christian Grothoff | Status | assigned => resolved |
2021-12-27 20:10 | Christian Grothoff | Resolution | open => fixed |
2021-12-27 20:10 | Christian Grothoff | Fixed in Version | => 0.3.0 |
2021-12-27 20:10 | Christian Grothoff | Note Added: 0018594 | |
2021-12-27 20:10 | Christian Grothoff | Product Version | => 0.2.0 |
2021-12-27 20:10 | Christian Grothoff | Target Version | => 0.3.0 |
2022-09-26 20:50 | Christian Grothoff | Status | resolved => closed |
2023-06-15 17:54 | Christian Grothoff | Changeset attached | => anastasis master 50ffc2d7 |
2023-06-15 17:54 | Christian Grothoff | Note Added: 0020280 |