DjVu has been sold as an alternate to PDF , as it gives smaller files than PDF for most scanned documents . DjVu has been promoted as an alternative to PDF , promising smaller files than PDF for most scanned documents .