Subject: INFO_DIR not used
To: None <>
From: Jeremy C. Reed <>
List: tech-pkg
Date: 03/30/2004 08:42:54
mk/ has:

# Pathname relative to ${PREFIX} of directory holding the info
# files and the Info dir file.
INFO_DIR?=      info

This implies that INFO_DIR can be customized. So I am testing
INFO_DIR=	share/info

But guile failed to install with:

/bin/sh ../../mkinstalldirs
/bin/sh ../../mkinstalldirs /usr/pkg/info
mkdir -p -- /usr/pkg/info
mkdir: /usr/pkg/info: Not a directory
gmake[3]: *** [install-info-am] Error 1
gmake[3]: Leaving directory

(Then it happened again later too in a different directory.)

So in the GNU_CONFIGURE section in mk/ I added:

+.  if !empty(INFO_FILES)
+CONFIGURE_ARGS+=       --infodir=${PREFIX}${INFO_DIR}
+.  endif

And that worked for me.

   Jeremy C. Reed