diff options
author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2018-05-27 21:41:18 +0200 |
---|---|---|
committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2018-05-27 21:41:18 +0200 |
commit | 1f0561b63ce96ca208b2b16644fc6197020b426c (patch) | |
tree | 0f4af7cafdec1411a5117b0f20d05a6dcfcd4485 | |
parent | 4fde09061eecf0f672cdb266b5f9f62fdf521bb4 (diff) | |
download | org-mode-1f0561b63ce96ca208b2b16644fc6197020b426c.tar.gz |
org-manual: Use .dir-locals instead of file local variables
* .dir-locals.el (org-mode): Update settings.
* doc/org-manual.org (Local variables): Remove.
-rw-r--r-- | .dir-locals.el | 9 | ||||
-rw-r--r-- | doc/org-manual.org | 9 |
2 files changed, 6 insertions, 12 deletions
diff --git a/.dir-locals.el b/.dir-locals.el index 0a3f083..0254670 100644 --- a/.dir-locals.el +++ b/.dir-locals.el @@ -8,10 +8,13 @@ (sentence-end-double-space . t)) (org-mode (indent-tabs-mode) - (org-edit-src-content-indentation . 0) (org-adapt-indentation) - (org-list-description-max-indent . 5) - (org-hide-emphasis-markers . nil))) + (org-edit-src-content-indentation . 0) + (org-footnote-auto-label . t) + (org-footnote-define-inline . nil) + (org-footnote-section . "Footnotes") + (org-hide-emphasis-markers . nil) + (org-list-description-max-indent . 5))) diff --git a/doc/org-manual.org b/doc/org-manual.org index cb01cd8..667adbb 100644 --- a/doc/org-manual.org +++ b/doc/org-manual.org @@ -21391,12 +21391,3 @@ forced to produce file results. This is seldom desired behavior, so it is recommended to set this header only on a per-block basis. It is possible that this aspect of the implementation might change in the future. - - -* Local variables :noexport: - -# Local Variables: -# org-footnote-section: "Footnotes" -# org-footnote-define-inline: nil -# org-footnote-auto-label: t -# End: |