Для того чтобы создать ссылку на загрузку файла в HTML, используется элемент a с атрибутом href, указывающим путь к файлу, и атрибутом download который сообщает браузеру о необходимости скачивания файла, а не его открытия в браузере.
<a href="document.pdf" download>Скачать файл</a>Если вы хотите, чтобы скачиваемый файл имел определенное имя, вы можете указать его через атрибут download и файл будет переименован на заданное имя
<a href="document.pdf" download="new-document.pdf">Скачать файл</a>