Fix "?" references in PDF files

metamath / metamath-website-scripts

Scripts to set up the metamath website(s) so they're under version control, can be reviewed, and can be rerun. The scripts download the seed files from metamath-website-seed, databases from set.mm, etc.

MIT License

2 stars 3 forks source link

Fix "?" references in PDF files #19

Closed xamidi closed 3 months ago

xamidi commented 3 months ago

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 commented 3 months ago

could you submit this as a PR?

xamidi commented 3 months ago

could you submit this as a PR?

Sure, single line PR is ready. 😅