From e2940799193785ca1312fb7d8cfd9995aa8dcc2b Mon Sep 17 00:00:00 2001
From: Marius Peter <marius.peter@tutanota.com>
Date: Sat, 26 Mar 2022 19:16:40 +0100
Subject: Minor changes.

---
 smart-documents.org | 20 +++++++++-----------
 1 file changed, 9 insertions(+), 11 deletions(-)

(limited to 'smart-documents.org')

diff --git a/smart-documents.org b/smart-documents.org
index c2a2fb7..fa5f5eb 100644
--- a/smart-documents.org
+++ b/smart-documents.org
@@ -28,6 +28,7 @@ personal GNU Emacs customizations with a tutorial. This paper is a
 {{{SD}}} itself!
 #+LATEX: \end{abstract}
 
+
 * COMMENT All TODOs
 
 ** TODO Harmonize ~compagnon~ themes
@@ -48,6 +49,7 @@ personal GNU Emacs customizations with a tutorial. This paper is a
 
 ** TODO Integrate site publishing recipes
 
+
 * Introduction
 
 The following sections were laid out very deliberately. When we start
@@ -730,7 +732,7 @@ shortcomings.
 #+NAME: flyspell
 #+BEGIN_SRC emacs-lisp :tangle yes
   (use-package flyspell)
-  (add-hook 'text-mode-hook 'flyspell-mode)
+  ;; (add-hook 'text-mode-hook 'flyspell-mode)
 #+END_SRC
 
 *** Completion
@@ -986,7 +988,6 @@ Python is included by default on most Linux distributions.
   (use-package haskell-mode)
 #+END_SRC
 
-
 *** Lua
 
 # If I have to deal with luaotfload one more time, I swear...
@@ -1353,7 +1354,8 @@ being executed by the Org Babel backend upon document export.
      (ledger . t)
      (latex . t)
      (C . t)
-     (gnuplot . t)))
+     (gnuplot . t)
+     (ocaml . t)))
 #+END_SRC
 
 ** Exporting {{{SDs}}}
@@ -1997,7 +1999,7 @@ Without a carefully designed theme, our editor would become
 unusable. Thus, we /describe/ two themes that were developed
 *purposefully* and iteratively.
 
-#+BEGIN_SRC emacs-lisp :tangle yes
+#+BEGIN_SRC emacs-lisp :tangle no
   (load-theme 'sd-compagnon-dark)
 #+END_SRC
 
@@ -2009,7 +2011,7 @@ unusable. Thus, we /describe/ two themes that were developed
   (load-theme 'sd-light)
 #+END_SRC
 
-#+BEGIN_SRC emacs-lisp :tangle no
+#+BEGIN_SRC emacs-lisp :tangle yes
   (load-theme 'sd-dark)
 #+END_SRC
 
@@ -2053,7 +2055,8 @@ both light and dark themes (Table [[theme-color-1]]).
 **** Purple
 
 Purple is Emacs' main logo color. Since we use Emacs for coding a lot,
-code syntax highlighting to could be in the pink/purple shades.
+code syntax highlighting to could be in the pink/purple shades. This
+is also a nod to Spacemacs' dark theme.2 hour
 
 *** Cursors
 
@@ -2223,8 +2226,3 @@ users.
 If the following variable is set to nil, ~org-babel~ will not ask to
 confirm the evaluation of source code blocks during export or
 tangling of this very file.
-
-: Local Variables:
-: org-confirm-babel-evaluate: t
-: TeX-engine: luatex
-: End:
-- 
cgit v1.2.3