3 ms·Why not just do filetype:pdf $BOOKNAME in Google?by ramanujan 17y agoWhy not just do filetype:pdf $BOOKNAME in Google?