HTML'de dosya indirme ve yükleme butonları nasıl yapılır? Bu butonları belirli dosyalara bağlamak için gereken kodu gösterir misiniz?

Dosya indirme: <a href="dosya.pdf" download>İndir</a>. Yükleme: <form action="upload.php" method="post" enctype="multipart/form-data"><input type="file" name="dosya"><button type="submit">Yükle</button></form>