+** Usage
+*** Generate a combined PDF
+[[https://inkscape.org/][Inkscape]] is used to convert SVGs to individual PDFs but a script is
+available at ~./EXEC/combine_pdfs.sh~ to merge multiple single-page
+PDFs into a single PDF file; the script uses the [[https://www.pdflabs.com/tools/pdftk-the-pdf-toolkit/][~pdftk~ utility]]
+available on typical [[https://www.debian.org/][Debian]]-based [[https://en.wikipedia.org/wiki/Gnu-Linux][GNU/Linux]] machines of 2023. On a
+typical Debian 12 system, the following command may be used to merge
+~input1.pdf~ and ~input2.pdf~ files into ~output.pdf~.