> Date: Tue, 26 May 2026 13:02:25 +0000 > From: Heime <[email protected]> > Cc: [email protected] > > > You can do this: > > > > make -f antares.mk SPLIT=chapter html > > > > and in the Makefile say > > > > makeinfo $(opts) --html --split=$(SPLIT) -o $@ $< > > For an unspecified split, the above would be --split=
Yes, I left that as an exercise. The default value should be in the Makefile. > makeinfo $(opts) --html --split= -o $@ $< > > I would like to use a variable DECAL for the --split option, > so it will be completely empty if the option is not used. GNU Make supports conditionals, you know.
