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.
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.