View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0005961 | GNUnet | documentation | public | 2019-11-08 10:11 | 2020-08-14 10:04 |
| Reporter | xrs | Assigned To | xrs | Due Date | |
| Priority | normal | Severity | block | Reproducibility | always |
| Status | closed | Resolution | fixed | ||
| Platform | x86_64 | OS | Alpine | OS Version | latest |
| Product Version | Git master | ||||
| Target Version | 0.13.0 | ||||
| Summary | 0005961: gnunet-tutorial.texi:1565: @include: could not find fdl-1.3.texi | ||||
| Description | > cd src/doc/tutorial > make MAKEINFO gnunet-tutorial.info gnunet-tutorial.texi:1565: @include: could not find fdl-1.3.texi make: *** [Makefile:574: gnunet-tutorial.info] Error 1 | ||||
| Tags | No tags attached. | ||||
| Strange, works fine here. The file exists, is in the same directory, and in EXTRA_DIST. So I'm not sure what is going on. Maybe some include path that I have set to "." doesn't include "." on your system!?!? | |
| Is this stil an issue? | |
| Ping | |
| No issue anymore on my site. Let's close this. | |
| Closing as resolved since at least 0.13.2 | |
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2019-11-08 10:11 | xrs | New Issue | |
| 2019-11-08 10:11 | xrs | Status | new => assigned |
| 2019-11-08 10:11 | xrs | Assigned To | => nikita |
| 2020-04-01 09:39 | nikita | Assigned To | nikita => |
| 2020-04-03 16:57 | Christian Grothoff | Note Added: 0015516 | |
| 2020-04-07 08:04 | Christian Grothoff | Status | assigned => acknowledged |
| 2020-04-24 08:30 | schanzen | Status | acknowledged => feedback |
| 2020-04-24 08:30 | schanzen | Target Version | => 0.13.0 |
| 2020-04-24 08:30 | schanzen | Note Added: 0015777 | |
| 2020-05-09 19:23 | schanzen | Assigned To | => xrs |
| 2020-05-09 19:23 | schanzen | Status | feedback => assigned |
| 2020-05-09 19:23 | schanzen | Status | assigned => feedback |
| 2020-05-09 19:23 | schanzen | Note Added: 0015871 | |
| 2020-05-20 16:31 | xrs | Status | feedback => resolved |
| 2020-05-20 16:31 | xrs | Resolution | open => fixed |
| 2020-05-20 16:31 | xrs | Note Added: 0015934 | |
| 2020-05-31 22:49 | Issue cloned: 0006281 | ||
| 2020-05-31 22:52 | Issue cloned: 0006329 | ||
| 2020-08-14 10:04 | schanzen | Note Added: 0016618 | |
| 2020-08-14 10:04 | schanzen | Status | resolved => closed |