diff options
| author | Marius Peter <blendux@blendux.home> | 2022-01-18 14:57:01 +0100 |
|---|---|---|
| committer | Marius Peter <blendux@blendux.home> | 2022-01-18 14:57:01 +0100 |
| commit | cfbc2700278561c9fadac92f2c584c623c723faf (patch) | |
| tree | 87ae02e37bcdbf1db05c1f2acd2d7acc501658af | |
| parent | 54036dd8a0795769dadf24d2212e930061a9d70a (diff) | |
Ignore PDF tools for now...
| -rw-r--r-- | smart-documents.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/smart-documents.org b/smart-documents.org index d526bd5..8fe6335 100644 --- a/smart-documents.org +++ b/smart-documents.org @@ -1009,7 +1009,7 @@ These aren't tied to a particular language per se. Org mode shines particularly when exporting to PDF---Org files can reliably be shared and exported to PDF in a reproducible fashion. -#+BEGIN_SRC emacs-lisp :tangle yes +#+BEGIN_SRC emacs-lisp :tangle no (use-package pdf-tools) (unless (string-equal system-type "windows-nt") (pdf-tools-install)) |