+*** Files
+**** ~README.org~
+This file.
+**** ~REVISIONS.org~
+A file containing a detailed version history of each drawing.
+**** ~TODO.org~
+A file containing a list of pending tasks for the project.
+
+** Usage
+*** Generate a combined 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