# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1402995195 -3600
# Node ID e340218b9d11fcc7cbb6d91baa11499626f8956b
# Parent  4fab69a1027d6188a66a81f7d7f2925e1292d924
Add HTML5 download tag to ABC and XML links in tune page.

You probably want to download these, not view them in the browser.

diff -r 4fab69a1027d -r e340218b9d11 dottes.html.tune
--- a/dottes.html.tune	Tue Jun 17 09:11:38 2014 +0100
+++ b/dottes.html.tune	Tue Jun 17 09:53:15 2014 +0100
@@ -62,9 +62,9 @@
                        href="../@MASTERBOOKE@/@TUNE@.mp3">MP3</a></li>
                 <li><a class="dottes-link-tune dottes-ogg"
                        href="../@MASTERBOOKE@/@TUNE@.ogg">OGG</a></li>
-                <li><a class="dottes-link-tune dottes-abc"
+                <li><a class="dottes-link-tune dottes-abc" download
                        href="@TUNE@.abc">ABC</a></li>
-                <li><a class="dottes-link-tune dottes-xml"
+                <li><a class="dottes-link-tune dottes-xml" download
                        href="@TUNE@.xml">XML</a></li>
               </ul>
             </div>