in html non fai nulla.

puoi:
-zippare il file
-forzare il download con linguaggi server