The configure script don't check the presence of the makeinfo tool. Configure runs fine, but then the make part fails with:
rm -rf $backupdir; exit $rc /tmp/poldi/missing: Zeile 81: makeinfo: Kommando nicht gefunden. WARNING: 'makeinfo' is missing on your system. You should only need it if you modified a '.texi' file, or any other file indirectly affecting the aspect of the manual. You might want to install the Texinfo package: <https://www.gnu.org/software/texinfo/> The spurious makeinfo call might also be the consequence of using a buggy 'make' (AIX, DU, IRIX), in which case you might want to install GNU make: <https://www.gnu.org/software/make/> make[2]: *** [Makefile:386: poldi.info] Fehler 127 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