On 14/11/2025 11:32 am, Juergen Gross wrote: > diff --git a/docs/Makefile b/docs/Makefile > index 37776d303c..e5f4a8ca86 100644 > --- a/docs/Makefile > +++ b/docs/Makefile > @@ -8,8 +8,11 @@ DATE := $(call date,"+%Y-%m-%d") > DOC_ARCHES := arm ppc riscv x86_32 x86_64 > MAN_SECTIONS := 1 5 7 8 > > +IN_FILES := man/xl-disk-configuration.5.pod > man/xl-network-configuration.5.pod > +IN_FILES += man/xl.1.pod man/xl.cfg.5.pod man/xl.conf.5.pod
Sorry, I meant to say this on the previous revision. Can we please list these one per line, for the future ease of inserting/removing. Is IN_FILES really correct? These are the generated (non-.in) files, rather than the .in files themselves. GEN_FILES from v1 would seem to be a better fit. But, overall I think this is a nicer change. > + > # Documentation sources to build > -MAN-SRC-y := $(sort $(basename $(wildcard man/*.pod man/*.pandoc))) > +MAN-SRC-y := $(sort $(basename $(wildcard man/*.pod man/*.pandoc) > $(IN_FILES))) Doesn't the man/*.pod wildcard do this already ? ~Andrew
