From 232a6d435a36f99b72e49bfb8d58f37a0377841b Mon Sep 17 00:00:00 2001 From: jao Date: Sun, 24 Jul 2022 17:14:52 +0100 Subject: documentation: interfacing-with-window-managers.org gone --- doc/plugins.org | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'doc/plugins.org') diff --git a/doc/plugins.org b/doc/plugins.org index 6f388c1..558bdef 100644 --- a/doc/plugins.org +++ b/doc/plugins.org @@ -35,9 +35,8 @@ 100 #+end_src - See also [[./window-managers.org][Interfacing with window managers]] for a collection of - plugins that let you interact and control xmobar from window - managers. + See also [[#interfacing-with-window-managers][Interfacing with window managers]] below for a collection of plugins + that let you interact and control xmobar from window managers. ** Icon Patterns @@ -1328,6 +1327,9 @@ - Default template: =Up: d h m= * Interfacing with window managers + :PROPERTIES: + :CUSTOM_ID: interfacing-with-window-managers + :END: ** Property-based logging *** =XMonadLog= -- cgit v1.2.3