Update the shell script that builds the PDF version of the Reference Manual