From 91614d21089c0dbc908c458254bce34ba99b2965 Mon Sep 17 00:00:00 2001
From: Gerard Vermeulen <gerard.vermeulen@neel.cnrs.fr>
Date: Tue, 10 Jan 2023 21:08:55 +0100
Subject: [PATCH] Add missing function to `shortdoc'

---
 README.org | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.org b/README.org
index 5f408c7..ab323ac 100644
--- a/README.org
+++ b/README.org
@@ -993,7 +993,8 @@ defined in this Org file.
       (smart-latex-engrave-org-source-blocks :no-manual t)
       (zero-all-org-src-blocks-indentation :no-manual t)
       "Python"
-      (choose-common-python-interpreter :no-manual t))))
+      (choose-common-python-interpreter :no-manual t)
+      (choose-common-python-linter :no-manual t))))
 #+end_src
 
 ** [[info:info#Top][Info (info)]]