From cfbc2700278561c9fadac92f2c584c623c723faf Mon Sep 17 00:00:00 2001
From: Marius Peter <blendux@blendux.home>
Date: Tue, 18 Jan 2022 14:57:01 +0100
Subject: Ignore PDF tools for now...

---
 smart-documents.org | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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))
-- 
cgit v1.2.3