PDF Manual

It looks as though the Julia PDF manual hasn’t been available for a while (since v. 1.3), or is it something on my end?

The file doesn’t load at all online, and when downloaded, is too small in file size.

I can confirm the problem.

Note that you should be able to generate it locally from the source, using make pdf in the docs directory.

Thanks for the confirmation, and the advice.