From ec428ded57d69ca46eba1e32dd87de36177c32ba Mon Sep 17 00:00:00 2001 From: Andrea Corallo Date: Mon, 19 Feb 2024 17:42:14 +0100 Subject: [PATCH] * etc/syncdoc-type-hierarchy.el: Update comment. (cherry picked from commit afed7f959a39c077aba6dc585cdfc0edcf05ddc8) --- etc/syncdoc-type-hierarchy.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/syncdoc-type-hierarchy.el b/etc/syncdoc-type-hierarchy.el index cd0cae2f954..10bcb059ac8 100644 --- a/etc/syncdoc-type-hierarchy.el +++ b/etc/syncdoc-type-hierarchy.el @@ -30,7 +30,7 @@ ;; documentation is regenerated. ;; We do not call this directly from make docs in order not to add a -;; dependency on the tools "dot" and "graph-easy". +;; dependency on the tool "dot". ;;; Code: -- 2.39.5