Fix "?" references in PDF files

[xamidi]

Some PDF files such as https://us.metamath.org/downloads/finiteaxiom.pdf need to be compiled twice, in order for references to work.

Fix:
Duplicate the pdflatex call (this line) in build-website.sh.

[digama0]

could you submit this as a PR?

[xamidi]

could you submit this as a PR?

Sure, single line PR is ready. 😅

[xamidi]

It still seems broken. Were the scripts ever used to rebuild the PDFs after this patch?

November 2025: The changes were finally applied …