Am I correct in assuming that you’ve added it to the list of books to be printed, like this?
And if so, are you saying that nothing from INT shows up? That seems strange. Are you able to send a small archive file to the usual ( ptxprint _ support at sil.org ) address. No need to include all the GEN-REV books; just a few smaller ones and the INT book should be adequate.