Dosyanın public klasöründeki "txtdosyalari" adlı klasörde olduğunu varsayalım;
$dosya_adi = 'java.txt';
$dosya_yolu = asset('txtdosyalari' . DIRECTORY_SEPARATOR . $dosya_adi);
$dosya_icerigi = file_get_contents($dosya_yolu);
Kodları ezbere yazdım. Gerekli değişiklikleri yaparsınız artık. $dosya_adi değişkenini kendin doldurman gerekiyor. Eğer jquery ile kutulara tıklama şeklinde bir yöntemle dosyayı seçtiriyorsanız dosya adını ajax ile php tarafına gönderip request() ile alırsanız dosya adına da ulaşmış olursunuz.
Daha detaylı yardım gerekirse kodlarınızı gösterin onun üzerine bilgi verelim.