Using standard HTML syntax:
<a href="#" download="targetname.html">
download this file
</a>
Notes:
* The "targetname.html" is a *suggested* filename for saving the downloaded file. Some platforms may ignore this value and assign their own default filename.
* If your browser is configured to "ask for filename", you will get a platform-specific dialog box that will allow you to change the filename and/or the folder in which the file will be stored.
enjoy,
-e