From f52cd939ffd482038e91dc9592172d2dd96d450f Mon Sep 17 00:00:00 2001 From: Lyn Perrine Date: Tue, 19 Mar 2019 12:55:11 -0700 Subject: [PATCH] Fix styling of how to launch kde partition manager --- source/3/3.1/3.1.7/kde_partitionmanager.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/3/3.1/3.1.7/kde_partitionmanager.rst b/source/3/3.1/3.1.7/kde_partitionmanager.rst index 101b8176..75f11293 100644 --- a/source/3/3.1/3.1.7/kde_partitionmanager.rst +++ b/source/3/3.1/3.1.7/kde_partitionmanager.rst @@ -34,7 +34,7 @@ Screensaver How to launch ------------- -To launch kde partition manager from the menu -> system tools -> KDE partition manager or run +To launch kde partition manager from the :menuselection:`System Tools --> KDE Partition Manager` or run .. code::