diff --git a/doc/org/.dir-locals.el.in b/doc/org/.dir-locals.el.in index bc56cbecf..cba9892fb 100644 --- a/doc/org/.dir-locals.el.in +++ b/doc/org/.dir-locals.el.in @@ -41,8 +41,8 @@ (shell-file-name . "@SHELL@") (ess-ask-for-ess-directory . nil) (org-export-html-postamble . nil) - (org-html-table-header-tags . - '("