CUSTOM_ID must be upcased for custom anchors to work

This commit is contained in:
Julien Chastang 2017-03-04 16:04:50 -07:00
parent cd01aa0970
commit 47c466b660

View File

@ -236,7 +236,7 @@ plist used as a communication channel."
(org-export-get-alt-title headline info) info)) (org-export-get-alt-title headline info) info))
(level (1- (org-element-property :level headline))) (level (1- (org-element-property :level headline)))
(indent (concat (make-string (* level 2) ? ))) (indent (concat (make-string (* level 2) ? )))
(anchor (or (org-element-property :custom_id headline) (anchor (or (org-element-property :CUSTOM_ID headline)
(org-export-get-reference headline info)))) (org-export-get-reference headline info))))
(concat indent "- [" title "]" "(#" anchor ")"))) (concat indent "- [" title "]" "(#" anchor ")")))