View Issue Details

IDProjectCategoryView StatusLast Update
0005961GNUnetdocumentationpublic2020-05-20 18:31
ReporterxrsAssigned Toxrs 
PrioritynormalSeverityblockReproducibilityalways
Status resolvedResolutionfixed 
Platformx86_64OSAlpineOS Versionlatest
Product VersionSVN HEAD 
Target Version0.13.0Fixed in Version 
Summary0005961: 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
TagsNo tags attached.

Activities

Christian Grothoff

2020-04-03 18:57

manager   ~0015516

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!?!?

schanzen

2020-04-24 10:30

manager   ~0015777

Is this stil an issue?

schanzen

2020-05-09 21:23

manager   ~0015871

Ping

xrs

2020-05-20 18:31

manager   ~0015934

No issue anymore on my site. Let's close this.

Issue History

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