diff dottes.html.tuneindex @ 323:1a240d1e2032

Go back to using the filename as the hyperlink name. Latex hyperlinks don't cope with having accented characters in the hyperlink name.
author Jim Hague <jim.hague@acm.org>
date Thu, 18 Jul 2013 15:37:23 +0100
parents db569ede2165
children f1c4abe4fc75
line wrap: on
line diff