The build fails with:
rm -rf $backupdir && mkdir $backupdir && \ if (/bin/sh /tmp/poldi/missing makeinfo --version) >/dev/null 2>&1; then \ for f in poldi.info poldi.info-[0-9] poldi.info-[0-9][0-9] poldi.i[0-9] poldi.i[0-9][0-9]; do \ if test -f $f; then mv $f $backupdir; restore=mv; else :; fi; \ done; \ else :; fi && \ cd "$am__cwd"; \ if /bin/sh /tmp/poldi/missing makeinfo -I . \ -o poldi.info poldi.texi; \ then \ rc=0; \ CDPATH="${ZSH_VERSION+.}:" && cd .; \ else \ rc=$?; \ CDPATH="${ZSH_VERSION+.}:" && cd . && \ $restore $backupdir/* `echo "./poldi.info" | sed 's|[^/]*$||'`; \ fi; \ rm -rf $backupdir; exit $rc poldi.texi:21: @include: version.texi konnte nicht gefunden werden poldi.texi:26: warning: undefiniertes Flag: EDITION poldi.texi:26: warning: undefiniertes Flag: UPDATED poldi.texi:27: warning: undefiniertes Flag: VERSION poldi.texi:41: warning: undefiniertes Flag: EDITION poldi.texi:43: warning: undefiniertes Flag: UPDATED poldi.texi:45: warning: undefiniertes Flag: VERSION poldi.texi:63: warning: undefiniertes Flag: EDITION poldi.texi:63: warning: undefiniertes Flag: UPDATED poldi.texi:65: warning: undefiniertes Flag: VERSION make[2]: *** [Makefile:386: poldi.info] Fehler 1 make[2]: Verzeichnis „/tmp/poldi/doc“ wird verlassen make[1]: *** [Makefile:427: all-recursive] Fehler 1 make[1]: Verzeichnis „/tmp/poldi“ wird verlassen make: *** [Makefile:368: all] Fehler 2
It looks the file is not generated or missing in the git repo. I have no idea for the source of the file.