]> git.donarmstrong.com Git - org-ref.git/commitdiff
make label export as a div with id for html.
authorJohn Kitchin <jkitchin@andrew.cmu.edu>
Tue, 14 Apr 2015 20:14:32 +0000 (16:14 -0400)
committerJohn Kitchin <jkitchin@andrew.cmu.edu>
Tue, 14 Apr 2015 20:14:32 +0000 (16:14 -0400)
org-ref.el

index 9f02da885ecc678a09fdd4fd2b0d10c122fe3ca8..0356e1f6bb7911c2de3203b1a637b6befd65ba0b 100644 (file)
@@ -974,7 +974,7 @@ ARG does nothing."
                    (org-ref-count-labels label))))
  (lambda (keyword desc format)
    (cond
-    ((eq format 'html) (format "(<label>%s</label>)" keyword))
+    ((eq format 'html) (format "<div id=\"%s\">" keyword))
     ((eq format 'latex)
      (format "\\label{%s}" keyword)))))