gendocs.sh - request for additional PDF in A4

[Simon Sobisch]

The GnuCOBOL Programmer's Guide always created two sets of its PDF
files: one in the default letter format and another in A4.

With the recent changes in our build system this is achieved with running

PDFs/%-letter.pdf : %.texi
        @mkdir -p $(dir $@)
        texi2pdf $(PDFOPTIONS) -o $@ -c $<

PDFs/%-a4.pdf : %.texi
        @mkdir -p $(dir $@)
        texi2pdf $(PDFOPTIONS) --command=@afourpaper -o $@ -c $<

[maybe there's a better way to achieve this with not running the
complete process two times]


We currently investigate gendocs.sh to possibly streamline the
generation, but gendocs.sh invokes texi2pdf only once.

Feature Request:
Can someone add a new option to additional generate a PDF in A4 format?
It could also use a "-a4" suffix or something different.
Is this a reasonable option to add to the common gendocs.sh?

Thank you,
Simon