diff options
| author | Amin Bandali <amin@aminb.org> | 2018-04-28 16:09:22 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@aminb.org> | 2018-04-28 16:09:22 -0400 |
| commit | 967b0a8269f01ba3020df0725a56615826993df3 (patch) | |
| tree | 0ed6a127b850a08e8f444ba8a5e94de37ac25094 | |
| parent | 180cab37b6034248c12a50d0a77360b52ef1fbfe (diff) | |
| download | configs-967b0a8269f01ba3020df0725a56615826993df3.tar.gz configs-967b0a8269f01ba3020df0725a56615826993df3.tar.xz configs-967b0a8269f01ba3020df0725a56615826993df3.zip | |
[emacs] fix post initialization TOC link on GitHub
GitHub's Org mode renderer doesn't use the CUSTOM_ID property for
generating internal in-file links like Org mode itself does. So, at
least for now, the internal link has to match the heading's full name.
| -rw-r--r-- | init.org | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -28,7 +28,7 @@ having fast startup times. - [[#header][Header]] - [[#initial-setup][Initial setup]] - [[#core][Core]] -- [[#post-init][Post initialization]] +- [[#post-initialization][Post initialization]] - [[#footer][Footer]] * Header @@ -638,7 +638,7 @@ TODO: break this giant source block down into individual org sections. * Post initialization :PROPERTIES: -:CUSTOM_ID: post-init +:CUSTOM_ID: post-initialization :END: Display how long it took to load the init file. |