View Issue Details
ID | Project | Category | View Status | Date Submitted | Last Update |
---|---|---|---|---|---|
0005961 | GNUnet | documentation | public | 2019-11-08 11:11 | 2020-08-14 12:04 |
Reporter | xrs | Assigned To | xrs | ||
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 11:11 | xrs | New Issue | |
2019-11-08 11:11 | xrs | Status | new => assigned |
2019-11-08 11:11 | xrs | Assigned To | => nikita |
2020-04-01 11:39 | nikita | Assigned To | nikita => |
2020-04-03 18:57 | Christian Grothoff | Note Added: 0015516 | |
2020-04-07 10:04 | Christian Grothoff | Status | assigned => acknowledged |
2020-04-24 10:30 | schanzen | Status | acknowledged => feedback |
2020-04-24 10:30 | schanzen | Target Version | => 0.13.0 |
2020-04-24 10:30 | schanzen | Note Added: 0015777 | |
2020-05-09 21:23 | schanzen | Assigned To | => xrs |
2020-05-09 21:23 | schanzen | Status | feedback => assigned |
2020-05-09 21:23 | schanzen | Status | assigned => feedback |
2020-05-09 21:23 | schanzen | Note Added: 0015871 | |
2020-05-20 18:31 | xrs | Status | feedback => resolved |
2020-05-20 18:31 | xrs | Resolution | open => fixed |
2020-05-20 18:31 | xrs | Note Added: 0015934 | |
2020-06-01 00:49 |
|
Issue cloned: 0006281 | |
2020-06-01 00:52 |
|
Issue cloned: 0006329 | |
2020-08-14 12:04 | schanzen | Note Added: 0016618 | |
2020-08-14 12:04 | schanzen | Status | resolved => closed |