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 2It looks the file is not generated or missing in the git repo. I have no idea for the source of the file.