Page MenuHome GnuPG

[poldi] configure script don't check for makeinfo
Closed, InvalidPublic

Description

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

Details

Version
git

Event Timeline

werner edited projects, added poldi; removed Bug Report.
werner added a subscriber: werner.

Use released version or post to gnupg-devel for help.