Info generation with user-defined command

Heime <[email protected]> Tue, 19 May 2026 23:23:56 +0000

Newsgroups	gmane.comp.gnu.make.general
Message-ID	<lHw_ovEW1yZj1YAv7CVWKtVIjc5Xdc7uArpKQIqm9nsNfrxxUOr4tT4VKbbLZcTHSkhYLVSiPSLomvtCWS6IOdudf83oMuUDyNPYiETqV5s=@protonmail.com>


Have make a makefile to store info files in a hardwired directory=20
$(infdir).  How would I make the user supply the command to run=20
the info generation?  Something like "make -f myfile.mk info-option"

.SECONDEXPANSION:  # Enable second expansion of $(@D)

$(infdir)/antares.info: $(srcs) | $$(@D)
=09makeinfo $(opts) -o $@ $<