From 1a4e5609ead8d202f3edd8edc95b11bbf45b9592 Mon Sep 17 00:00:00 2001 From: Darcy Shen Date: Mon, 4 Dec 2023 01:06:01 +0800 Subject: [PATCH] [39_3] Group GNU TeXmacs online docs --- TeXmacs/progs/doc/help-menu.scm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/TeXmacs/progs/doc/help-menu.scm b/TeXmacs/progs/doc/help-menu.scm index c14c99bccb..4c136895e4 100644 --- a/TeXmacs/progs/doc/help-menu.scm +++ b/TeXmacs/progs/doc/help-menu.scm @@ -32,7 +32,10 @@ (menu-bind help-menu ("Welcome" (mogan-welcome)) ("Planet" (xmacs-planet)) + (-> "Plugins" + (link help-plugins-menu)) --- + (group "GNU TeXmacs online docs") (if (detailed-menus?) (-> "Configuration" ("Browse" (load-remote-doc "main/config/man-configuration")) @@ -91,9 +94,6 @@ (load-remote-doc "main/styles/styles")) ("Compatibility with other formats" (load-remote-doc "main/convert/man-convert"))) - --- - (-> "Plug-ins" - (link help-plugins-menu)) (if (detailed-menus?) (-> "Interfacing" ("Browse" (load-remote-doc "devel/interface/interface"))