-[[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~.
-
-: $ /bin/bash combine_pdfs.sh output.pdf ~input1.pdf~ ~input2.pdf~
+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~.
+
+: $ /bin/bash combine_pdfs.sh output.pdf input1.pdf input2.pdf